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