data.conformance.owl2rl.rdfbased-xtr-constraint-anonind-axioms.rdfbased-xtr-constraint-anonind-axioms.metadata.properties 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
Show all versions of sansa-inference-tests_2.12 Show documentation
Contains common data and utils for inference API testing
The newest version!
TestCase Metadata
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.
OWL2RL+OWL1FULL
Michael Schneider+Kai Mainzer
rdfbased-xtr-constraint-anonind-axioms
POSITIVE_ENTAILMENT
© 2015 - 2025 Weber Informatics LLC | Privacy Policy