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

data.conformance.owl2rl.rdfbased-xtr-subgraph-monotonic.rdfbased-xtr-subgraph-monotonic.metadata.properties Maven / Gradle / Ivy

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