Property:Premise ontology

From OWL

Jump to: navigation, search

This property specifies the serialisation of an OWL snippet, used as a premise ontology for various kinds of test cases: it is the sole input ontology for ConsistencyTests and InconsistencyTests, and it is the premise for PositiveEntailmentTests and NegativeEntailmentTests.

It uses the datatype Code that preserves formatting. In the Test ontology, this corresponds to the property test:premiseOntology (Test case ontology).

See also


Retrieved from "http://www.w3.org/2007/OWL/wiki/Property:Premise_ontology"
Facts about Premise ontologyOWL
Has typeThis property is a special property in this wiki.CodeThis type is among the standard datatypes of this wiki.  +
Imported fromThis property is a special property in this wiki.test:premiseOntology (Test case ontology)  +
Subproperty ofThis property is a special property in this wiki.Input ontology  +
Personal tools