Help:Ontology: Difference between revisions
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
** PROPERTIES: are binary relations on individuals - i.e. properties link two individuals together. For example, the property "''Has historical geographical allegiances''" might link the tune "'''Craig a' Bhodich'''" to the tune "'''Fisher's Hornpipe'''", or the property "''Is also known as''" might link the tune "'''Fisher's Hornpipe'''" to the tune "'''Crannciuil Ui Fishuir'''". Properties can have ''inverses''. For example, the inverse of '''hasOwner''' is '''isOwnedBy'''. Properties can be limited to having a single value, i.e. to being ''functional''. They can also be either ''transitive'' or ''symmetric''. | ** PROPERTIES: are binary relations on individuals - i.e. properties link two individuals together. For example, the property "''Has historical geographical allegiances''" might link the tune "'''Craig a' Bhodich'''" to the tune "'''Fisher's Hornpipe'''", or the property "''Is also known as''" might link the tune "'''Fisher's Hornpipe'''" to the tune "'''Crannciuil Ui Fishuir'''". Properties can have ''inverses''. For example, the inverse of '''hasOwner''' is '''isOwnedBy'''. Properties can be limited to having a single value, i.e. to being ''functional''. They can also be either ''transitive'' or ''symmetric''. | ||
** CLASSES: are interpreted as sets that contain individuals. They are described using formal (mathematical) descriptions that state precisely the requirements for membership of the class. For example, the class '''Tune''' would contain all the individuals that are tunes in our domain of interest Classes may be organised into a superclass-subclass hierarchy, which is also known as a ''taxonomy''. Subclasses specialise (`are subsumed by') their superclasses. For example consider the classes '''Music''' and Tune, Tune might be a subclass of Music (so Music is the superclass of Tune). This says that, `All Tunes are Music', `All members of the class Tune are members of the class Music', `Being a Tune implies that you're a piece of Music', and `Tune is subsumed by Music'. | ** CLASSES: are interpreted as sets that contain individuals. They are described using formal (mathematical) descriptions that state precisely the requirements for membership of the class. For example, the class '''Tune''' would contain all the individuals that are tunes in our domain of interest Classes may be organised into a superclass-subclass hierarchy, which is also known as a ''taxonomy''. Subclasses specialise (`are subsumed by') their superclasses. For example consider the classes '''Music''' and Tune, Tune might be a subclass of Music (so Music is the superclass of Tune). This says that, `All Tunes are Music', `All members of the class Tune are members of the class Music', `Being a Tune implies that you're a piece of Music', and `Tune is subsumed by Music'. | ||
<p> | |||
'''Object Property Characteristics'''<br> | |||
Ontologies allows the meaning of properties to be enriched through the use of property characteristics. | |||
</p> | |||
Revision as of 14:59, 18 August 2011
Ontologies are used to capture knowledge about some domain of interest. An ontology describes the concepts in the domain and also the relationships that hold between those concepts.
- Components of Ontologies
- IDIVIDUALS: represent objects in the domain in which we are interested.
- PROPERTIES: are binary relations on individuals - i.e. properties link two individuals together. For example, the property "Has historical geographical allegiances" might link the tune "Craig a' Bhodich" to the tune "Fisher's Hornpipe", or the property "Is also known as" might link the tune "Fisher's Hornpipe" to the tune "Crannciuil Ui Fishuir". Properties can have inverses. For example, the inverse of hasOwner is isOwnedBy. Properties can be limited to having a single value, i.e. to being functional. They can also be either transitive or symmetric.
- CLASSES: are interpreted as sets that contain individuals. They are described using formal (mathematical) descriptions that state precisely the requirements for membership of the class. For example, the class Tune would contain all the individuals that are tunes in our domain of interest Classes may be organised into a superclass-subclass hierarchy, which is also known as a taxonomy. Subclasses specialise (`are subsumed by') their superclasses. For example consider the classes Music and Tune, Tune might be a subclass of Music (so Music is the superclass of Tune). This says that, `All Tunes are Music', `All members of the class Tune are members of the class Music', `Being a Tune implies that you're a piece of Music', and `Tune is subsumed by Music'.
Object Property Characteristics
Ontologies allows the meaning of properties to be enriched through the use of property characteristics.