![JAR search and dependency download from the Maven repository](/logo.png)
data.conformance.owl2rl.rdfbased-sem-restrict-maxcard-inst-obj-one.rdfbased-sem-restrict-maxcard-inst-obj-one.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
If an individual w is an instance of the max-1-cardinality restriction on property p, and if there are triples w p x1 and w p x2, then x1 equals x2.
OWL2RL+OWL1FULL
Michael Schneider+Kai Mainzer
rdfbased-sem-restrict-maxcard-inst-obj-one
POSITIVE_ENTAILMENT
© 2015 - 2025 Weber Informatics LLC | Privacy Policy