data.conformance.owl2rl.rdfbased-sem-char-inversefunc-data.rdfbased-sem-char-inversefunc-data.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
For two triples with the same inverse functional data property as their predicates and with the same data object, the subjects are the same. This test shows that the OWL 2 RDF-Based Semantics allows for IFDPs.
OWL2RL+OWL1FULL
Michael Schneider+Kai Mainzer
rdfbased-sem-char-inversefunc-data
POSITIVE_ENTAILMENT
© 2015 - 2025 Weber Informatics LLC | Privacy Policy