• Home
• net.sansa-stack
• sansa-inference-tests_2.12
• 0.9.5
• source code
• rdfbased-xtr-constraint-anonind-forestlike.owlwgwiki.txt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

{{PositiveEntailmentTestCase
|id=rdfbased-xtr-constraint-anonind-forestlike
|description=The RDF-Based Semantics does not restrict the set of anonymous individuals in an ontology to be forest-likely related by the assertion axioms they occur in. For example, it is possible to express mutual relationships between the blank node rooted descriptions of two persons.
|author=Michael Schneider, Kai Mainzer
|syntax=RDF/XML
|semantics=Test applies only to RDF-based semantics
|rlrulescomplete=Yes
|consistent-ontology= 
  
    
    Alice
  
  
    
  
  
    
  
  
    
    Bob
  

|conclusion-ontology= 
  
    
  
  
    
  

}}