On one of my homework assignments after the beer session I've got a little bit stuck considering the following entailments according to the direct semantics Does Class( <foo> annotation( <a> <bar> ) ) AnnotationProperty( <a> ) Class( <bar> ) entail AnnotationProperty( <a> ) Class( <foo> annotation( <a> individual() ) ) ? If not, why not? I also note that there is a bug in the LC mapping rules that permits individual() to map to nothing so that the following contradicition maps to a noncontradition in RDF/XML individual() EquivalentClasses( owl:Thing, owl:Nothing ) I am still working on the rdf:List homework, and will possibly propose a bug fix for this bug as a side effect. (The equivalent expression individual( type(owl:Thing) ) EquivalentClasses( owl:Thing, owl:Nothing ) is a simple contradiction) Jeremy
Received on Monday, 2 June 2003 06:13:23 UTC
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.3