Property:Nonconclusion ontology

From OWL

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 Code that preserves formatting.

In the Test ontology, this corresponds to the property test:nonConclusionOntology (Test case ontology).

See also


Retrieved from "http://www.w3.org/2007/OWL/wiki/Property:Nonconclusion_ontology"
Facts about Nonconclusion 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:nonConclusionOntology (Test case ontology)  +
Subproperty ofThis property is a special property in this wiki.Input ontology  +
Personal tools