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

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

Files: Models.lisp/DataTypeTest/DataTypeTest.conf
 Models.lisp/DataTypeTest/DataTypeTest.tbox
 Models.lisp/DataTypeTest/Makefile
 Models.lisp/Makefile.default
 Models.lisp/create-new-test
 Models.lisp/options.default
 Models.lisp/query.default
 README
 debian/README.source
 debian/compat
 debian/control
 debian/control.in
 debian/gbp.conf
 debian/patches/2001_use_default-java_path.patch
 debian/patches/README
 debian/patches/series
 debian/source/format
 debian/watch
 src/FaCT++.C/Makefile
 src/FaCT++.JNI/Makefile
 src/FaCT++.JNI/uk_ac_manchester_cs_factplusplus_FaCTPlusPlus.h
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java
 src/FaCT++.KE/build.xml
 src/FaCT++.OWLAPIv3/build.xml
 src/FaCT++.ProtegeOWLAPIv3/META-INF/MANIFEST.MF
 src/FaCT++.ProtegeOWLAPIv3/build.xml
 src/FaCT++.ProtegeOWLAPIv3/lib/version.txt
 src/FaCT++.ProtegeOWLAPIv3/plugin.xml
 src/FaCT++/Makefile
 src/Kernel/Makefile
 src/Makefile
 src/Makefile.include
 src/update.properties
 src/update.properties.p4.1
 src/version-info-p4.1.html
 src/version-info.html
Copyright: *No copyright*
License: UNKNOWN
 FIXME

Files: src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/ClassPointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/NodePointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/Pointer.java
 src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java
 src/FaCT++.KE/src/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java
 src/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java
 src/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java
 src/FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java
 src/FaCT++.ProtegeOWLAPIv3/src/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: src/FaCT++/AD.cpp
 src/FaCT++/comparser.h
 src/FaCT++/comscanner.h
 src/FaCT++/parser.cpp
 src/FaCT++/parser.h
 src/FaCT++/scanner.h
 src/Kernel/QR.h
 src/Kernel/ReasonerNom.cpp
 src/Kernel/ReasonerNom.h
Copyright: 2003-2010, Dmitry Tsarkov
  2003-2011, Dmitry Tsarkov
  2003-2012, Dmitry Tsarkov
  2011, Dmitry Tsarkov
License: GPL-2+
 FIXME

Files: src/FaCT++.C/fact.cpp
 src/FaCT++.C/fact.h
 src/FaCT++.C/test.c
Copyright: 2011-2012, Dmitry Tsarkov
License: LGPL
 FIXME

Files: src/FaCT++/FaCT.cpp
Copyright: != NULL )
  2003-2012, Dmitry Tsarkov
License: GPL-2+
 FIXME

Files: src/FaCT++/scanner.cpp
Copyright: && !eof;
  2003-2012, Dmitry Tsarkov
License: GPL-2+
 FIXME

Files: debian/rules
Copyright: 2012-2013, Jonas Smedegaard <dr@jones.dk>
License: GPL-3+
 FIXME

Files: licensing/gpl.txt
Copyright: 1989, 1991 Free Software Foundation, Inc
  <year> <name of author>
  HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR
  HOLDERS AND/OR OTHER PARTIES
  disclaimer" for the program, if
  holder saying it may be distributed
  holder who places the Program under this License
  interest in the program
  law:
  the software, and
  year name of author
License: GPL-ever
 FIXME

Files: src/Kernel/Kernel.h
Copyright: != NULL )	// this is an unknown concept
  != NULL ) ||
  != NULL );
  2003-2013, Dmitry Tsarkov
License: LGPL
 FIXME

Files: src/Kernel/ELFNormalizer.h
Copyright: != NULL )
  != NULL ||
  != NULL) )
  2011-2012, Dmitry Tsarkov
License: LGPL-2.1+
 FIXME

Files: src/Kernel/dlTBox.h
Copyright: != SameI.end(); }
  2003-2012, Dmitry Tsarkov
  ? INAME : CNAME, C );
License: LGPL-2.1+
 FIXME

Files: src/Kernel/Tactic.cpp
Copyright: && DLHeap[C
License: LGPL-2.1+
 FIXME

Files: src/Kernel/SyntacticLocalityChecker.h
Copyright: && isTopEquivalent )
  2011-2013, Dmitry Tsarkov
License: LGPL-2.1+
 FIXME

Files: src/Kernel/tAxiom.h
Copyright: )	// no sense to replace \AR.BOTTOM as it well lead to the same GCI
  2003-2010, Dmitry Tsarkov
  || !getConcept->isSystem();
License: LGPL-2.1+
 FIXME

Files: src/Kernel/Kernel.cpp
Copyright: 2003-2013, Dmitry Tsarkov
  << ". Version " << Version << " (" << ReleaseDate << ")\n";
  Dmitry Tsarkov, 2002-2013";
License: LGPL-2.1+
 FIXME

Files: src/Kernel/procTimer.h
Copyright: 2003-2008, Dmitry Tsarkov
  Tsarkov Dmitry, 2003
License: LGPL-2.1+
 FIXME

Files: src/Kernel/Reasoner.cpp
Copyright: 2003-2012, Dmitry Tsarkov
  node, p->bp-1 -- to the split node
License: LGPL-2.1+
 FIXME

Files: src/Kernel/ELFReasoner.h
Copyright: 2011-2012, Dmitry Tsarkov
  structure
License: LGPL-2.1+
 FIXME

Files: licensing/lgpl-2.1.txt
Copyright: 1991, 1999 Free Software Foundation, Inc
  <year> <name of author>
  HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY
  HOLDERS AND/OR
  disclaimer" for the library, if
  holder or
  holder who places the Library under this License may add
  interest in the
  law: that is to say, a work containing the Library or a
  notices, you must include the
  the
License: LGPL-ever
 FIXME

Files: licensing/xerces-c.license.txt
Copyright: 1999, International
  1999-2004, The Apache Software Foundation. All rights
License: UNKNOWN
 FIXME

Files: licensing/README.buddy
Copyright: 1996-2002, Jorn Lind-Nielsen
License: UNKNOWN
 FIXME

Files: licensing/FaCT++.license.txt
Copyright: The Victoria University of Manchester 2004
License: UNKNOWN
 FIXME

