:Premise ontology

From OWL
Revision as of 06:35, 12 August 2008 by Markus Krötzsch (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 has type::Code that preserves formatting. In the Test ontology, this corresponds to the property imported from::test:premiseOntology.

See also