• Home
• net.sansa-stack
• sansa-inference-tests_2.12
• 0.9.5
• source code
• rdfbased-sem-restrict-maxqcr-inst-obj-one.metadata.properties

×

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-sem-restrict-maxqcr-inst-obj-one.rdfbased-sem-restrict-maxqcr-inst-obj-one.metadata.properties Maven / Gradle / Ivy

TestCase Metadata
If an individual w is an instance of the max-1-QCR on property p to class c, and if there are triples w p x1 and w p x2, with x1 and x2 being in c, then x1 equals x2.
OWL2RL+OWL2FULL
Michael Schneider+Kai Mainzer
rdfbased-sem-restrict-maxqcr-inst-obj-one
POSITIVE_ENTAILMENT