Assertion: ontology | /r/HasProperty | represented as a set of logical axioms
Facets:
Source sentences:
text: when represented as a set of logical axioms with a strict semantics, an ontology can be used to make inferences about the objects that it describes and consequently provides a means to symbolically manipulate knowledge.