Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FIXME
Upstream-Contact: FIXME
Source: FIXME
Disclaimer: Autogenerated by licensecheck

Files: FaCT++.JNI/Axioms.cpp
 FaCT++.JNI/Expressions.cpp
 FaCT++.JNI/FaCTPlusPlus.cpp
 FaCT++.JNI/JNIActor.h
 FaCT++.JNI/JNIMonitor.h
 FaCT++.JNI/JNISupport.h
 FaCT++.JNI/KnowledgeExploration.cpp
 FaCT++.JNI/MemoryStat.cpp
 FaCT++.JNI/MemoryStat.h
 FaCT++.JNI/Modularity.cpp
 FaCT++.JNI/Queries.cpp
 FaCT++.JNI/SaveLoad.cpp
 FaCT++.JNI/tJNICache.h
 FaCT++/lispgrammar.h
 Kernel/Actor.cpp
 Kernel/Actor.h
 Kernel/AtomicDecomposer.cpp
 Kernel/AtomicDecomposer.h
 Kernel/BiPointer.h
 Kernel/Blocking.cpp
 Kernel/BuildDAG.cpp
 Kernel/CGLabel.h
 Kernel/CWDArray.cpp
 Kernel/CWDArray.h
 Kernel/CascadedCache.cpp
 Kernel/ConceptWithDep.h
 Kernel/DLConceptTaxonomy.cpp
 Kernel/DLConceptTaxonomy.h
 Kernel/DataReasoning.cpp
 Kernel/DataReasoning.h
 Kernel/DataTypeCenter.cpp
 Kernel/DataTypeCenter.h
 Kernel/DataTypeComparator.h
 Kernel/DeletelessAllocator.h
 Kernel/DepSet.h
 Kernel/ExtendedDataRange.cpp
 Kernel/ExtendedSyntacticLocalityChecker.h
 Kernel/GeneralSyntacticLocalityChecker.h
 Kernel/Incremental.cpp
 Kernel/Input.cpp
 Kernel/KnowledgeExplorer.cpp
 Kernel/KnowledgeExplorer.h
 Kernel/LeveLogger.cpp
 Kernel/LeveLogger.h
 Kernel/LocalityChecker.cpp
 Kernel/LocalityChecker.h
 Kernel/LogicFeature.cpp
 Kernel/LogicFeature.h
 Kernel/Modularity.h
 Kernel/ModuleMethod.h
 Kernel/ModuleType.h
 Kernel/Preprocess.cpp
 Kernel/PriorityMatrix.h
 Kernel/ProgressIndicatorInterface.h
 Kernel/RAutomaton.cpp
 Kernel/RAutomaton.h
 Kernel/Reasoner.cpp
 Kernel/Reasoner.h
 Kernel/Relevance.cpp
 Kernel/RoleMaster.cpp
 Kernel/RoleMaster.h
 Kernel/SaveLoad.cpp
 Kernel/SearchableStack.h
 Kernel/SemanticLocalityChecker.h
 Kernel/SigIndex.h
 Kernel/SortedReasoning.cpp
 Kernel/SyntacticLocalityChecker.h
 Kernel/Tactic.cpp
 Kernel/TaxGatheringWalker.h
 Kernel/Taxonomy.cpp
 Kernel/Taxonomy.h
 Kernel/TaxonomyCreator.cpp
 Kernel/TaxonomyCreator.h
 Kernel/ToDoList.h
 Kernel/WalkerInterface.h
 Kernel/configure.cpp
 Kernel/configure.h
 Kernel/counter.h
 Kernel/cpm.h
 Kernel/cppi.h
 Kernel/dir_util.cpp
 Kernel/dir_util.h
 Kernel/dlCompletionGraph.cpp
 Kernel/dlCompletionGraph.h
 Kernel/dlCompletionTree.cpp
 Kernel/dlCompletionTree.h
 Kernel/dlCompletionTreeArc.h
 Kernel/dlDag.cpp
 Kernel/dlDag.h
 Kernel/dlTBox.cpp
 Kernel/dlTBox.h
 Kernel/dlVHash.h
 Kernel/dlVHashImpl.h
 Kernel/dlVertex.cpp
 Kernel/dlVertex.h
 Kernel/dltree.cpp
 Kernel/dltree.h
 Kernel/dumpInterface.cpp
 Kernel/dumpInterface.h
 Kernel/dumpLisp.cpp
 Kernel/dumpLisp.h
 Kernel/eFPPCantRegName.h
 Kernel/eFPPCycleInRIA.h
 Kernel/eFPPInconsistentKB.h
 Kernel/eFPPNonSimpleRole.h
 Kernel/eFPPSaveLoad.h
 Kernel/eFPPTimeout.h
 Kernel/eFaCTPlusPlus.h
 Kernel/flags.h
 Kernel/fpp_assert.h
 Kernel/globaldef.h
 Kernel/grammar.h
 Kernel/growingArray.h
 Kernel/growingArrayP.h
 Kernel/ifOptions.cpp
 Kernel/ifOptions.h
 Kernel/logging.h
 Kernel/mergableLabel.h
 Kernel/modelCacheConst.h
 Kernel/modelCacheIan.cpp
 Kernel/modelCacheIan.h
 Kernel/modelCacheInterface.h
 Kernel/modelCacheSingleton.h
 Kernel/parseTime.cpp
 Kernel/parseTime.h
 Kernel/procTimer.h
 Kernel/tAxiom.cpp
 Kernel/tAxiom.h
 Kernel/tAxiomSet.cpp
 Kernel/tAxiomSet.h
 Kernel/tBranchingContext.h
 Kernel/tConcept.cpp
 Kernel/tConcept.h
 Kernel/tCounter.h
 Kernel/tDLAxiom.cpp
 Kernel/tDLAxiom.h
 Kernel/tDLExpression.h
 Kernel/tDag2Interface.cpp
 Kernel/tDag2Interface.h
 Kernel/tDataEntry.h
 Kernel/tDataType.h
 Kernel/tDataTypeBool.h
 Kernel/tDataTypeManager.h
 Kernel/tDepSet.h
 Kernel/tExpressionManager.cpp
 Kernel/tExpressionManager.h
 Kernel/tExpressionPrinterLISP.h
 Kernel/tExpressionTranslator.h
 Kernel/tFastSet.h
 Kernel/tHeadTailCache.h
 Kernel/tIndividual.h
 Kernel/tKBFlags.h
 Kernel/tLabeller.h
 Kernel/tLexeme.h
 Kernel/tNAryQueue.h
 Kernel/tNECollection.h
 Kernel/tNameSet.h
 Kernel/tNamedEntry.h
 Kernel/tOntology.h
 Kernel/tOntologyAtom.h
 Kernel/tOntologyLoader.h
 Kernel/tOntologyPrinterLISP.h
 Kernel/tProgressMonitor.h
 Kernel/tRareSaveStack.h
 Kernel/tRelated.h
 Kernel/tRestorer.h
 Kernel/tRole.cpp
 Kernel/tRole.h
 Kernel/tSaveList.h
 Kernel/tSaveStack.h
 Kernel/tSetAsTree.h
 Kernel/tSignature.h
 Kernel/tSignatureUpdater.h
 Kernel/taxNamEntry.h
 Kernel/taxVertex.cpp
 Kernel/taxVertex.h
 Kernel/tsttree.h
Copyright: 2003-2015, Dmitry Tsarkov and The University of Manchester
  2005-2015, Dmitry Tsarkov and The University of Manchester
  2006-2015, Dmitry Tsarkov and The University of Manchester
  2007-2015, Dmitry Tsarkov and The University of Manchester
  2008-2015, Dmitry Tsarkov and The University of Manchester
  2009-2015, Dmitry Tsarkov and The University of Manchester
  2010-2015, Dmitry Tsarkov and The University of Manchester
  2011-2015, Dmitry Tsarkov and The University of Manchester
  2013-2015, Dmitry Tsarkov and The University of Manchester
  2014-2015, Dmitry Tsarkov and The University of Manchester
  2015, Dmitry Tsarkov and The University of Manchester
  2015-2016, Dmitry Tsarkov
License: LGPL-2.1+
 FIXME

Files: CMakeLists.txt
 FaCT++.C/CMakeLists.txt
 FaCT++.C/Makefile
 FaCT++.JNI/CMakeLists.txt
 FaCT++.JNI/Makefile
 FaCT++.JNI/uk_ac_manchester_cs_factplusplus_FaCTPlusPlus.h
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java
 FaCT++.KE/build.xml
 FaCT++.OWLAPIv3/build.xml
 FaCT++.ProtegeOWLAPIv3/META-INF/MANIFEST.MF
 FaCT++.ProtegeOWLAPIv3/build.xml
 FaCT++.ProtegeOWLAPIv3/lib/version.txt
 FaCT++.ProtegeOWLAPIv3/plugin.xml
 FaCT++/CMakeLists.txt
 FaCT++/Makefile
 Kernel/CMakeLists.txt
 Kernel/Makefile
 Makefile
 Makefile.include
 debian/TODO
 debian/control
 debian/examples
 debian/gbp.conf
 debian/install
 debian/patches/1001_gcc-10.patch
 debian/patches/README
 debian/patches/series
 debian/rules
 debian/source/format
 debian/tests/FaCT++.t
 debian/tests/control
 debian/watch
 eclipsefiles/classpathForOWLAPI4
 mavenreleaseowlapi4/pom.xml
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java
 mavenreleaseowlapi4/src/main/resources/META-INF/MANIFEST.MF
 mavenreleaseowlapi4/src/main/resources/plugin.xml
 mavenreleaseowlapi4/src/test/java/bugs/AddIndividualsAfterLoadingTestCase.java
 mavenreleaseowlapi4/src/test/java/bugs/DebugVerifyComplianceUniversityTestCase.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceBase.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceHost.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceMereology.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceMiniTambis.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceOWLS.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceOWLSNewFeatures.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyCompliancePeople.java
 mavenreleaseowlapi4/src/test/java/bugs/VerifyComplianceUniversityTestCase.java
 mavenreleaseowlapi4/src/test/java/conformancetests/HasSelfSupportTestCase.java
 mavenreleaseowlapi4/src/test/java/conformancetests/ProcessesTestCase.java
 mavenreleaseowlapi4/src/test/java/conformancetests/Strange.java
 mavenreleaseowlapi4/src/test/java/testbase/TestBase.java
 mavenreleaseowlapi4/src/test/resources/AF_OWLS.owl.xml
 mavenreleaseowlapi4/src/test/resources/AF_miniTambis.owl.xml
 mavenreleaseowlapi4/src/test/resources/host.owl
 update.properties
 update.properties.p4.1
 version-info-p4.1.html
 version-info.html
Copyright: NONE
License: UNKNOWN
 FIXME

Files: FaCT++.Java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/ClassPointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/NodePointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/Pointer.java
 FaCT++.Java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java
 FaCT++.KE/src/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java
 FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java
 FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java
 FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java
 FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusRenderingViewComponent.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/ClassPointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/NodePointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/Pointer.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusRenderingViewComponent.java
Copyright: 2006, University of Manchester
  2007, University of Manchester
  2009, University of Manchester
  2009-2010, University of Manchester
  of their
License: LGPL-2.1+
 FIXME

Files: mavenreleaseowlapi4/src/test/java/bugs/debug/Broken.java
 mavenreleaseowlapi4/src/test/java/conformancetests/Changed.java
 mavenreleaseowlapi4/src/test/java/conformancetests/Fixed.java
 mavenreleaseowlapi4/src/test/java/conformancetests/JUnitRunner.java
 mavenreleaseowlapi4/src/test/java/conformancetests/JUnitRunnerFromFile.java
 mavenreleaseowlapi4/src/test/java/conformancetests/NewFeatures.java
 mavenreleaseowlapi4/src/test/java/conformancetests/OWL2.java
 mavenreleaseowlapi4/src/test/java/conformancetests/RDFBased.java
 mavenreleaseowlapi4/src/test/java/conformancetests/TestClasses.java
 mavenreleaseowlapi4/src/test/java/conformancetests/TestDateTime.java
 mavenreleaseowlapi4/src/test/java/conformancetests/TopObjectPropertyTest.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt208.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt661.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_AnnotationProperty_002.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_allValuesFrom_001.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_description_logic_209.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_description_logic_602_test.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_miscellaneous_002.java
 mavenreleaseowlapi4/src/test/java/conformancetests/WebOnt_miscellaneous_wine.java
Copyright: 2011-2013, Ignazio Palmisano, Dmitry Tsarkov, University of Manchester
License: LGPL-2.1+
 FIXME

Files: FaCT++/AD.cpp
 FaCT++/FaCT.cpp
 FaCT++/comparser.h
 FaCT++/comscanner.h
 FaCT++/parser.cpp
 FaCT++/parser.h
 FaCT++/scanner.cpp
 FaCT++/scanner.h
 Kernel/ReasonerNom.cpp
 Kernel/ReasonerNom.h
Copyright: 2003-2015, Dmitry Tsarkov and The University of Manchester
  2015-2016, Dmitry Tsarkov
License: GPL-2+
 FIXME

Files: FaCT++.C/fact.cpp
 FaCT++.C/fact.h
 FaCT++.C/test.c
 Kernel/Kernel.h
 Kernel/OntologyBasedModularizer.h
 Kernel/SaveLoadManager.cpp
 Kernel/SaveLoadManager.h
Copyright: 2003-2015, Dmitry Tsarkov and The University of Manchester
  2011-2015, Dmitry Tsarkov and The University of Manchester
  2012-2015, Dmitry Tsarkov and The University of Manchester
  2013-2015, Dmitry Tsarkov and The University of Manchester
  2015-2016, Dmitry Tsarkov
License: LGPL-2.1
 FIXME

Files: FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java
 mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java
Copyright: 2014, The University of Manchester
License: Apache-2.0 and/or GPL-3+ and/or LGPL
 FIXME

Files: Kernel/Kernel.cpp
Copyright: 2003-2015, Dmitry Tsarkov and The University of Manchester
  2015-2016, Dmitry Tsarkov
  Dmitry Tsarkov, 2002-2016";
  oncept absorption, "
License: LGPL-2.1+
 FIXME

