OWL Abstract Syntax
This high level syntax is used to specify the OWL ontology structure and semantics.
The OWL abstract syntax presents an ontology as a sequence of annotations, axioms and facts. Annotations carry machine and human oriented meta-data. Information about the classes, properties and individuals that compose the ontology is contained in axioms and facts only. Each class, property and individual is either anonymous or identified by an URI reference. Facts state data either about an individual or about a pair of individual identifiers (that the objects identified are distinct or the same). Axioms specify the characteristics of classes and properties. This style is similar to frame languages, and quite dissimilar to well known syntaxes for description logics (DLs) and Resource Description Framework (RDF).
Sean Bechhofer, et al. argue that though this syntax is hard to parse, it is quite concrete. They conclude that the name abstract syntax may be somewhat misleading.
Read more about this topic: Web Ontology Language, Syntax, High Level
Famous quotes containing the words owl and/or abstract:
“I weathered some merry snow-storms, and spent some cheerful winter evenings by my fireside, while the snow whirled wildly without, and even the hooting of the owl was hushed. For many weeks I met no one in my walks but those who came occasionally to cut wood and sled it to the village.... For human society I was obliged to conjure up the former occupants of these woods.”
—Henry David Thoreau (18171862)
“When we run over libraries persuaded of these principles, what havoc must we make? If we take in our hand any volume; of divinity or school metaphysics, for instance; let us ask, Does it contain any abstract reasoning concerning quantity or number? No. Does it contain any experimental reasoning concerning matter of fact and existence? No. Commit it then to the flames; for it can contain nothing but sophistry and illusion.”
—David Hume (17111776)