![JAR search and dependency download from the Maven repository](/logo.png)
data.conformance.owl2rl.rdfbased-xtr-subgraph-monotonic.rdfbased-xtr-subgraph-monotonic.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
A monotonic expansion of the RDF representation for cardinality restrictions to cover QCRs would have wrongly lead to the entailment of a non-qualified cardinality restriction from any QCR (OWL WG issue 122).
SIMPLE+OWL2RL
Michael Schneider+Kai Mainzer
rdfbased-xtr-subgraph-monotonic
POSITIVE_ENTAILMENT
© 2015 - 2025 Weber Informatics LLC | Privacy Policy