GitHub - ykazakov/condor-reasoner: Automatically exported from code.google.com/p/condor-reasoner (original) (raw)
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.
To convert a file [ontology.owl], open it in Protege and save using the menu:
File > Save as... > OWL Functional Syntax.