ykazakov/condor-reasoner

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.