foundations of computational agents
Modern ontology languages such as OWL are based on description logics. A description logic is used to describe classes, properties, and individuals. One of the main ideas behind a description logic is to separate
a terminological knowledge base (or TBox) describes the terminology; it defines what the symbols mean
an assertional knowledge base (or ABox) specifies what is true at some point in time.
Usually, the terminological knowledge base is defined at the design time of the system and defines the ontology, and it only changes as the meaning of the vocabulary changes, which should be relatively rarely. The assertional knowledge base usually contains the knowledge that is situation specific and is only known at run time.
It is typical to use triples to define the assertional knowledge base and a language such as OWL to define the terminological knowledge base.
The web ontology language (OWL) describes domains in terms of
Individuals are things in the world that is being described (e.g., a particular house or a particular booking may be individuals).
Classes are sets of individuals. A class is the set of all real or potential things that would be in that class. For example, the class “House” may be the set of all things that would be classified as a house, not just those houses that exist in the domain of interest.
Properties are used to describe individuals. A datatype property has values that are primitive data types, such as integers or strings. For example, “streetName” may be a datatype property between a street and string. An object property has values that are other individuals. For example, “nextTo” may be a property between two houses, and “onStreet” may be a property between a house and a street.
OWL comes in a few variants that differ in restrictions imposed on the classes and properties, and how efficiently they can be implemented. For example, in OWL-DL a class cannot be an individual or a property, and a property is not an individual. In OWL-Full, the categories of individuals, properties, and classes are not necessarily disjoint. OWL-DL comes in three profiles that are targeted towards particular applications, and do not allow constructs they do not need that would make inference slower. OWL 2 EL is designed for large biohealth ontologies, allowing rich structural descriptions. OWL 2 QL is designed to be the front end of database query languages. OWL 2 RL is a language that is designed for cases where rules are important.
OWL does not make the unique names assumption; two names do not necessarily denote different individuals or different classes. It also does not make the complete knowledge assumption; it does not assume that all the relevant facts have been stated.
are classes, are properties, are individuals, and is an integer. is the number of elements in set .
|owl:Nothing||no individuals (empty set)|
|owl:ObjectComplementOf||the individuals not in|
|owl:ObjectHasValue||individuals with value on property , i.e.,|
|owl:ObjectAllValuesFrom||individuals with all values in on property ; i.e.,|
|owl:ObjectSomeValuesFrom||individuals with some values in on property ; i.e.,|
|owl:ObjectMinCardinality||individuals with at least individuals of class related to by , i.e.,|
|owl:ObjectMaxCardinality||individuals with at most individuals of class related to by , i.e.,|
|owl:ObjectHasSelf||individuals such that .|
OWL has the following predicates with a fixed interpretation, where are classes, are properties, and are individuals; and are universally quantified variables.
|owl:EquivalentObjectProperties||if and only if|
|owl:InverseObjectProperties||if and only if|
|owl:IrreflectiveObjectProperty||not for all|
Figure 14.4 gives some primitive classes and some class constructors. This figure uses set notation to define the set of individuals in a class. Figure 14.5 gives primitive predicates of OWL. The owl: prefixes are from OWL.
In these figures, is a triple. Note that this is meant to define the meaning of the predicates, rather than any syntax. The predicates can be used with different syntaxes, such as XML, Turtle (a simple language of triples), or functional notation. Here we use the OWL functional-style syntax where the arguments of the constructors are written in parentheses, separated with spaces.
As an example of a class constructor in OWL functional syntax:
is the class of objects for which the individual lc:lemon_icon is a value for the property lc:has_logo.
is the class of all objects that have some green. That is the objects for which some of the colors of the object are green. Here lc:green is assumed to be a class of more specific colors such as emerald or forest-green.
|MinCardinality(2 :owns :building)|
is the class of all individuals who own two or more buildings. That is, the set .
The class constructors must be used in a statement, for example, to say that some individual is a member of this class or to say that one class is equivalent to some other class.
OWL does not have definite clauses. To say that all of the elements of a set have value for a predicate , we say that is a subset of the set of all things with value for predicate .
The first line defines “lc:” to be an abbreviation. Thus lc:computer is an abbreviation for the URI
The second line defines which ontology this is (the parenthesis ends at the last line).
lc:computer and lc:logo are both classes. lc:lemon_icon is a member of the class lc:logo. lc:has_logo is a property, with domain lc:computer and range lc:logo.
To state that all Lemon computers have a lemon icon as a logo, you say that the set of Lemon computers is a subset of the set of all things for which the property has value . The ontology specifies lc:lemon_computer is a subclass of lc:computer and a subclass of the set of individuals that have value lc:lemon_icon for the property lc:has_logo. That is, all Lemon computers have a lemon icon as a logo.
Green and yellow are subclasses of color. The property applies to material entities, which are physical objects. Some of the colors of a Lemon computer are yellow and some are green.
Some of OWL and RDF or RDFS statementshave the same meaning. For example, rdf:type means the same as owl:ClassAssertion, and rdfs:domain means the same as owl:ObjectPropertyDomain for object properties. Some ontologies use both definitions, because the ontologies were developed over long periods of time, with contributors who adopted different conventions.
There is one property constructor in OWL, owl:ObjectInverseOf, which is the inverse property of ; that is, it is the property such that if and only if . Note that it is only applicable to object properties; datatype properties do not have inverses, because data types cannot be the subject of a triple.
The list of classes and statements in these figures is not complete. There are corresponding datatype classes for datatype properties, where appropriate. For example, owl:DataSomeValuesFrom and owl:EquivalentDataProperties have the same definitions as the corresponding object symbols, but are for datatype properties. There are also other constructs in OWL to define properties, comments, annotations, versioning, and importing other ontologies.
Consider an Aristotelian definition of an apartment building. We can say that an apartment building is a residential building with multiple units and the units are rented. (This is in contrast to a condominium building, where the units are individually sold, or a house, where there is only one unit.) Suppose we have the class that is a subclass of .
The following defines the functional object property , with domain and range .
Declaration(ObjectProperty(:numberOfunits)) FunctionalObjectProperty(:numberOfunits) ObjectPropertyDomain(:numberOfunits :ResidentialBuilding) ObjectPropertyRange(:numberOfunits ObjectOneOf(:two :one :moreThanTwo))
The functional object property with domain , and range can be defined similarly.
An apartment building is a where the property has the value and the property has the value . To specify this in OWL, we define the class of things that have value for the property , the class of things that have value for the property , and say that is equivalent to the intersection of these classes. In OWL functional syntax, this is
Declaration(Class(:ApartmentBuilding)) EquivalentClasses(:ApartmentBuilding ObjectIntersectionOf( :ResidentialBuilding ObjectHasValue(:numberOfunits :moreThanTwo) ObjectHasValue(:ownership :rental)))
This definition can be used to answer questions about apartment buildings, such as the ownership and the number of units. Apartment buildings inherit all of the properties of residential buildings.
The previous example did not really define . The system has no idea what ownership actually means. Hopefully, a user will know what it means. Everyone who wants to adopt an ontology should ensure that their use of a property and a class is consistent with other users of the ontology.
A domain ontology is an ontology about a particular domain of interest. Most existing ontologies are in a narrow domain that people write for specific applications. There are some guidelines that have evolved for writing domain ontologies to enable knowledge sharing:
If possible, use an existing ontology. This means that your knowledge base will be able to interact with others who use the same ontology.
If an existing ontology does not exactly match your needs, import it and add to it. Do not start from scratch, because people who have used the existing ontology will have a difficult time also using yours, and others who want to select an ontology will have to choose one or the other. If your ontology includes and improves the other, others who want to adopt an ontology will choose yours, because their application will be able to interact with adopters of either ontology.
Make sure that your ontology integrates with neighboring ontologies. For example, an ontology about resorts will have to interact with ontologies about food, beaches, recreation activities, and so on. Try to make sure that it uses the same terminology for the same things.
Try to fit in with higher-level ontologies (see below). This will make it much easier for others to integrate their knowledge with yours.
If you must design a new ontology, consult widely with other potential users. This will make it most useful and most likely to be adopted.
Follow naming conventions. For example, call a class by the singular name of its members. For example, call a class “Resort” not “Resorts”. Resist the temptation to call it “ResortConcept” (thinking it is only the concept of a resort, not a resort; see the box). When naming classes and properties, think about how they will be used. It sounds better to say that “ is of type Resort” than “ is of type Resorts”, which is better than “ is of type ResortConcept”.
As a last option, specify the matching between ontologies. Sometimes ontology matching has to be done when ontologies are developed independently. It is best if matching can be avoided; it makes knowledge using the ontologies much more complicated because there are multiple ways to say the same thing.
OWL, when written in the OWL functional syntax, is much easier to read than when using XML. However, OWL is at a lower level than most people will want to specify or read. It is designed to be a machine-readable specification. There are many editors that let you edit OWL representation. One example is Protégé (http://protege.stanford.edu/). An ontology editor should support the following:
It should provide a way for people to input ontologies at the level of abstraction that makes the most sense.
Given a concept a user wants to use, an ontology editor should facilitate finding the terminology for that concept or determining that there is no corresponding term.
It should be straightforward for someone to determine the meaning of a term.
It should be as easy as possible to check that the ontology is correct (i.e., matches the user’s intended interpretation for the terms).
It should create an ontology that others can use. This means that it should use a standardized language as much as possible.