Property: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 Code that preserves formatting.
In the Test ontology, this corresponds to the property test:conclusionOntology (Test case ontology).
See also
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 |
Pages using the property "Conclusion ontology"
Showing 0 pages using this property.
