|
Standard OIL is an extension of Core OIL,
and can be seen as the succesor of OIL 1.0 (a.k.a. Preliminary
OIL). It is more practically useable: strings, integers,
sets, individuals are all added to the language. Standard
OIL is still designed to allow efficient, sound and complete
reasoning.
Full description is available from the white paper.
Instance OIL extends Standard OIL with an
A-box to specify instances of classes and roles.
Full description is available from the white paper.
A Denotational Semantics for Standard-OIL
and Instance-OIL
In this document we will give a formal specification
and semantics for both Standard OIL and Instance OIL,
as well as for the standard inference problems (class
consistency and inferred subclass relations) performed
with respect to an OIL ontology. We will only consider
the definitions part of the ontology and we will ignore
fields such as documentation that have no semantic significance.
Get full-text
in PDF, or presentation
in html.
|
