data.conformance.owl2rl.rdfbased-xtr-constraint-anonind-axioms.rdfbased-xtr-constraint-anonind-axioms.owlwgwiki.txt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sansa-inference-tests_2.12 Show documentation

Contains common data and utils for inference API testing

The newest version!

{{PositiveEntailmentTestCase
|id=rdfbased-xtr-constraint-anonind-axioms
|description=The RDF-Based Semantics does not restrict the kinds of assertion axioms that may contain anonymous individuals. For example, it is possible to identify two different blank node rooted descriptions of the same person by means of an owl:sameAs axiom having the blank nodes as its operands.
|author=Michael Schneider, Kai Mainzer
|syntax=RDF/XML
|semantics=Test applies only to RDF-based semantics
|rlrulescomplete=Yes
|consistent-ontology= 
  
    
    Boston
    John Doe
    
  
  
    1969-08-12
    Doe
    John
    
  

|conclusion-ontology= 
  
    1969-08-12
    Boston
    Doe
    John
    John Doe
    
  

}}