:Nonconclusion ontology

From OWL
Revision as of 06:36, 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 non-conclusion ontology for non-entailment tests. It is a special kind of input ontology and uses the datatype has type::Code that preserves formatting.

In the Test ontology, this corresponds to the property imported from::test:nonConclusionOntology.

See also