Property:Nonconclusion ontology
From OWL
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
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 |
Pages using the property "Nonconclusion ontology"
Showing 0 pages using this property.
