Property:Conclusion ontology

From OWL

Jump to: navigation, search

This property specifies the serialisation of an OWL snippet, used as a conclusion ontology for 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:conclusionOntology (Test case ontology).

See also


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