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/RDF_URIs.h
 Kernel/Reasoner.cpp
 Kernel/Reasoner.h
 Kernel/Relevance.cpp
 Kernel/RoleMaster.cpp
 Kernel/RoleMaster.h
 Kernel/SaveLoad.cpp
 Kernel/SaveLoadManager.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/TripleGatherer.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/growingArrayP.h
 Kernel/ifOptions.cpp
 Kernel/ifOptions.h
 Kernel/logging.h
 Kernel/mergeableLabel.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-2017, Dmitry Tsarkov
License: LGPL-2.1+
 FIXME

Files: CMakeLists.txt
 FaCT++.C/CMakeLists.txt
 FaCT++.JNI/CMakeLists.txt
 FaCT++.JNI/uk_ac_manchester_cs_factplusplus_FaCTPlusPlus.h
 FaCT++.Java/pom.xml
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java
 FaCT++.Java/src/main/resources/META-INF/MANIFEST.MF
 FaCT++.Java/src/main/resources/plugin.xml
 FaCT++.Java/src/test/java/bugs/AddIndividualsAfterLoadingTestCase.java
 FaCT++.Java/src/test/java/bugs/DebugVerifyComplianceUniversityTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceBase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceHostTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceMereologyTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceMiniTambisTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceOWLSNewFeaturesTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceOWLSTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyCompliancePeopleTestCase.java
 FaCT++.Java/src/test/java/bugs/VerifyComplianceUniversityTestCase.java
 FaCT++.Java/src/test/java/conformancetests/HasSelfSupportTestCase.java
 FaCT++.Java/src/test/java/conformancetests/ProcessesTestCase.java
 FaCT++.Java/src/test/java/conformancetests/StrangeTestCase.java
 FaCT++.Java/src/test/java/testbase/TestBase.java
 FaCT++.Java/src/test/resources/AF_OWLS.owl.xml
 FaCT++.Java/src/test/resources/AF_miniTambis.owl.xml
 FaCT++.Java/src/test/resources/host.owl
 FaCT++.Python/CMakeLists.txt
 FaCT++.Python/MANIFEST.in
 FaCT++.Python/coras/doc/cmd.rst
 FaCT++.Python/coras/doc/tests.rst
 FaCT++.Python/coras/integration/family/family.n3
 FaCT++.Python/coras/integration/foaf/01-foaf.sq
 FaCT++.Python/coras/integration/foaf/01-result.csv
 FaCT++.Python/coras/integration/foaf/02-foaf.sq
 FaCT++.Python/coras/integration/foaf/02-result.csv
 FaCT++.Python/coras/integration/foaf/03-foaf-ex.n3
 FaCT++.Python/coras/integration/foaf/03-foaf.sq
 FaCT++.Python/coras/integration/foaf/03-result.csv
 FaCT++.Python/coras/integration/foaf/foaf.rdf
 FaCT++.Python/coras/integration/foaf/tbl-foaf-card.n3
 FaCT++.Python/coras/integration/tsars/01-result.csv
 FaCT++.Python/coras/integration/tsars/01-tsars.sq
 FaCT++.Python/coras/integration/tsars/02-result.csv
 FaCT++.Python/coras/integration/tsars/02-tsars.sq
 FaCT++.Python/coras/integration/tsars/tsars.rdf
 FaCT++.Python/coras/integration/zebra/01-result.csv
 FaCT++.Python/coras/integration/zebra/01-zebra.sq
 FaCT++.Python/coras/integration/zebra/02-result.csv
 FaCT++.Python/coras/integration/zebra/02-zebra.sq
 FaCT++.Python/coras/integration/zebra/zebra.n3
 FaCT++.Python/examples/describe.py
 FaCT++.Python/examples/people.rdf
 FaCT++.Python/examples/pizza.owl
 FaCT++.Python/examples/rdf-to-lisp.py
 FaCT++.Python/examples/run-lisp.py
 FaCT++.Python/examples/run-rdf.py
 FaCT++.Python/examples/shuffle-lisp.py
 FaCT++.Python/examples/t_fast.txt
 FaCT++.Python/examples/t_slow.txt
 FaCT++.Python/examples/test-people.py
 FaCT++.Python/examples/test-pizza.py
 FaCT++.Python/examples/test-sparql.py
 FaCT++.Python/examples/tsars_corr.lisp
 FaCT++.Python/examples/tsars_corr.rdf
 FaCT++.Python/examples/tsars_orig.lisp
 FaCT++.Python/examples/tsars_orig.rdf
 FaCT++.Python/examples/zebra-dump.py
 FaCT++.Python/examples/zebra_corr.n3
 FaCT++.Python/examples/zebra_corr_fast_order.lisp
 FaCT++.Python/examples/zebra_corr_slow_order.lisp
 FaCT++.Python/examples/zebra_orig.n3
 FaCT++.Python/examples/zebra_orig_fast_order.lisp
 FaCT++.Python/examples/zebra_orig_slow_order.lisp
 FaCT++.Python/pyfactxx/CMakeLists.txt
 FaCT++.Python/pyfactxx/tests/conftest.py
 FaCT++.Python/pyproject.toml
 FaCT++/CMakeLists.txt
 Kernel/CMakeLists.txt
 README.md
 debian/TODO
 debian/control
 debian/fact++.examples
 debian/fact++.install
 debian/gbp.conf
 debian/patches/020251023~897e434.patch
 debian/patches/020251023~f5cff44.patch
 debian/patches/1001_gcc-10.patch
 debian/patches/2003_avoid_java.patch
 debian/patches/2003_avoid_python.patch
 debian/patches/README
 debian/patches/series
 debian/rules
 debian/source/format
 debian/tests/FaCT++.t
 debian/tests/control
 debian/watch
 eclipsefiles/classpathForOWLAPI4
Copyright: NONE
License: UNKNOWN
 FIXME

Files: FaCT++.Python/coras/bin/coras-debug
 FaCT++.Python/coras/bin/coras-load-report
 FaCT++.Python/coras/bin/coras-query
 FaCT++.Python/coras/coras/__init__.py
 FaCT++.Python/coras/coras/cli.py
 FaCT++.Python/coras/coras/core.py
 FaCT++.Python/coras/coras/debug.py
 FaCT++.Python/coras/coras/parser.py
 FaCT++.Python/coras/coras/query.py
 FaCT++.Python/coras/coras/util.py
 FaCT++.Python/coras/integration/test_coras.py
 FaCT++.Python/examples/imply-class.py
 FaCT++.Python/examples/test-data-cardinality.py
 FaCT++.Python/examples/test-disjoint-classes.py
 FaCT++.Python/examples/test-object-cardinality.py
 FaCT++.Python/examples/test-property-large.py
 FaCT++.Python/examples/test-property.py
 FaCT++.Python/examples/zebra-puzzle.py
 FaCT++.Python/pyfactxx/__init__.py
 FaCT++.Python/pyfactxx/lib_factxx.pyx
 FaCT++.Python/pyfactxx/tests/__init__.py
 FaCT++.Python/pyfactxx/tests/test_concept.py
 FaCT++.Python/pyfactxx/tests/test_d_role.py
 FaCT++.Python/pyfactxx/tests/test_instance.py
 FaCT++.Python/pyfactxx/tests/test_o_role.py
 FaCT++.Python/pyfactxx/tests/test_one_to_one.py
 FaCT++.Python/pyfactxx/tests/test_query_instances.py
 FaCT++.Python/pyfactxx/tests/test_set_op.py
Copyright: 2016-2018, Artur Wroblewski <wrobell@riseup.net>
  2018, Artur Wroblewski <wrobell@riseup.net>
License: GPL-3+
 FIXME

Files: FaCT++.Java/src/test/java/bugs/debug/FppBrokenTestCase.java
 FaCT++.Java/src/test/java/conformancetests/Changed.java
 FaCT++.Java/src/test/java/conformancetests/FixedTestCase.java
 FaCT++.Java/src/test/java/conformancetests/JUnitRunner.java
 FaCT++.Java/src/test/java/conformancetests/JUnitRunnerFromFile.java
 FaCT++.Java/src/test/java/conformancetests/NewFeaturesTestCase.java
 FaCT++.Java/src/test/java/conformancetests/OWL2TestCase.java
 FaCT++.Java/src/test/java/conformancetests/RDFBasedTestCase.java
 FaCT++.Java/src/test/java/conformancetests/TestClasses.java
 FaCT++.Java/src/test/java/conformancetests/TestDateTime.java
 FaCT++.Java/src/test/java/conformancetests/TopObjectPropertyTestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt208TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt661TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOntTestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt_AnnotationProperty_002_TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt_allValuesFrom_001_TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt_description_logic_209_TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt_description_logic_602_TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt_miscellaneous_002_TestCase.java
 FaCT++.Java/src/test/java/conformancetests/WebOnt_miscellaneous_wine_TestCase.java
Copyright: 2011-2013, Ignazio Palmisano, Dmitry Tsarkov, University of Manchester
License: LGPL-2.1+
 FIXME

Files: FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/ClassPointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/NodePointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/Pointer.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java
 FaCT++.Java/src/main/java/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java
 FaCT++.Java/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
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-2017, 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.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-2017, Dmitry Tsarkov
License: LGPL-2.1
 FIXME

Files: CITATION.cff
 FaCT++.Python/setup.cfg
Copyright: NONE
License: GPL-3
 FIXME

Files: FaCT++.Java/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-3
 FIXME

Files: FaCT++.Python/COPYING
Copyright: 2007, Free Software Foundation, Inc. <http://fsf.org/>
License: GPL-3
 FIXME

Files: FaCT++.Python/setup.py
Copyright: 2016-2018, Artur Wroblewski <wrobell@riseup.net>
  2021-2022, Ivan Rygaev <ir@tilde.pro>
License: GPL-3+
 FIXME

Files: Kernel/Kernel.cpp
Copyright: 2003-2015, Dmitry Tsarkov and The University of Manchester
  2015-2017, Dmitry Tsarkov
  2021-2024, Ivan Rygaev and Tilde MI
  Dmitry Tsarkov, Ivan Rygaev, 2002-2024";
  oncept absorption, "
License: LGPL-2.1+
 FIXME

