search

cliffxuan / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

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

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 7 Sep 2010 at 11:27