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