New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

owl:complementOf is only way to add negation to rules #5

Open

GoogleCodeExporter opened this issue Jun 28, 2015 · 1 comment

Labels

auto-migrated Priority-Medium Type-Enhancement

GoogleCodeExporter commented Jun 28, 2015

Currently, the use of owl:complementOf in an OWL theory and a conversion to a 
ruleset via the DLP 
method is the only way to introduce negated antecedent into a ruleset.  Support 
for RIF BLD XML 
syntax should address this eventually

Original issue reported on code.google.com by chime...@gmail.com on 24 Sep 2009 at 2:52

The text was updated successfully, but these errors were encountered:

GoogleCodeExporter added Type-Enhancement auto-migrated Priority-Medium labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment