:Conclusion ontology

From OWL

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

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

See also

• Property:Premise ontology
• Property:Nonconclusion ontology