All Downloads are FREE. Search and download functionalities are using the official Maven repository.

data.conformance.owl2rl.rdfbased-sem-restrict-maxcard-inst-obj-one.rdfbased-sem-restrict-maxcard-inst-obj-one.metadata.properties Maven / Gradle / Ivy

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