OVERVIEW: ConDOR is an experimental reasoner for ontologies based on a new kind of "consequence-based" reasoning procedure. Currently ConDOR supports a fragment of OWL-2 which corresponds to the DL SH. CONTENTS: INSTALL instructions for installation LICENSE license and copyright notice Makefile main Makefile README this file bin reasoner executables examples usage examples src program source files COPYRIGHT: All files in [src] are Copyright (c) 2010 Frantisek Simancik <frantisek.simancik@comlab.ox.ac.uk>, Yevgeny Kazakov <yevgeny.kazakov@comlab.ox.ac.uk> and University of Oxford INSTALLATION: See the file INSTALL for installation instructions. USAGE: The binaries are located in the directory [/bin]. For the usage options type from this directory: ./condor --help [on Linux & Mac] condor --help [on Windows] For usage examples see the directory [/examples] REQUIREMENTS: Currently ConDOR can only read ontologies in OWL-2 functional-style syntax and supports a subsets of the constructors corresponding to SH. The reasoner will ignore any constructor or axiom type that it doesn't support and issue a warning. This should not result in any unsound inferences. For the description of OWL-2 functional-style syntax, see: http://www.w3.org/TR/owl2-syntax/ OWL ontologies in other formats can be converted into OWL-2 functional syntax using Protege version 4.1 or higher. http://protege.stanford.edu/ To convert a file [ontology.owl], open it in Protege and save using the menu: File > Save as... > OWL Functional Syntax.