442:
517:, that represents how objects combine to form composite objects. For example, if we extended our example ontology to include concepts like Steering Wheel, we would say that a "Steering Wheel is-by-definition-a-part-of-a Ford Explorer" since a steering wheel is always one of the components of a Ford Explorer. If we introduce meronymy relationships to our ontology, the hierarchy that emerges is no longer able to be held in a simple tree-like structure since now members can appear under more than one parent or branch. Instead this new structure that emerges is known as a
25:
394:(also known as relationships) between objects in an ontology specify how objects are related to other objects. Typically a relation is of a particular type (or class) that specifies in what sense the object is related to the other object in the ontology. For example, in the ontology that contains the concept Ford Explorer and the concept
324:, although they may be independent things. Each attribute can be a class or an individual. The kind of object and the kind of attribute determine the kind of relation between them. A relation between an object and an attribute express a fact that is specific to the object to which it is related. For example, the
299:, the ontology is divided into individuals, who are real worlds objects, or events, and types, or classes, who are sets of real world objects. Class expressions or definitions gives the properties that the individuals must fulfill to be members of the class. Individuals that fulfill the property are called
243:
of opinion as to whether numbers and words are classes or individuals). Strictly speaking, an ontology need not include any individuals, but one of the general purposes of an ontology is to provide a means of classifying individuals, even if those individuals are not explicitly part of the ontology.
242:
Individuals (instances) are the basic, "ground level" components of an ontology. The individuals in an ontology may include concrete objects such as people, animals, tables, automobiles, molecules, and planets, as well as abstract individuals such as numbers and words (although there are differences
545:
Relation types are sometimes domain-specific and are then used to store specific kinds of facts or to answer particular types of questions. If the definitions of the relation types are included in an ontology, then the ontology defines its own ontology definition language. An example of an ontology
246:
In formal extensional ontologies, only the utterances of words and numbers are considered individuals – the numbers and names themselves are classes. In a 4D ontology, an individual is identified by its spatio-temporal extent. Examples of formal extensional ontologies are
524:
As well as the standard is-a-subclass-of and is-by-definition-a-part-of-a relations, ontologies often include additional types of relations that further refine the semantics they model. Ontologies might distinguish between different categories of relation types. For example:
207:
that together comprise the overall theory that the ontology describes in its domain of application. This definition differs from that of "axioms" in generative grammar and formal logic. In these disciplines, axioms include only statements asserted as
414:
This tells us that the
Explorer is the model that replaced the Bronco. This example also illustrates that the relation has a direction of expression. The inverse expression expresses the same fact, but with a reverse phrase in natural language.
506:) that clearly depicts how objects relate to one another. In such a structure, each object is the 'child' of a 'parent class' (Some languages restrict the is-a-subclass-of relationship to one parent for all nodes, but many do not).
438:
relation, and others. The set of used relation types (classes of relations) and their subsumption hierarchy describe the expression power of the language in which the ontology is expressed.
441:
371:
Ontologies are only true ontologies if concepts are related to other concepts (the concepts do have attributes). If that is not the case, then you would have either a
197:
statements in the form of an if-then (antecedent-consequent) sentence that describe the logical inferences that can be drawn from an assertion in a particular form.
179:
ways in which classes and individuals can be related to one another. Relations can carry attributes that specify the relation further.
89:
726:
61:
276:
129:
in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations.
675:
648:
640:
Ontological
Engineering: with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. First Edition
621:
487:). This defines which objects are classified by which class. For example, we have already seen that the class Ford Explorer
418:
Much of the power of ontologies comes from the ability to describe relations. Together, the set of relations describes the
68:
42:
423:
171:
aspects, properties, features, characteristics, or parameters that individuals (and classes and relations) can have.
108:
75:
280:
269:
368:; in this example, the related engine can only be one of a list of subtypes of engines, not just a single thing.
185:
complex structures formed from certain relations that can be used in place of an individual term in a statement.
57:
122:
46:
464:
546:
that defines its own relation types and distinguishes between various categories of relation types is the
482:
300:
667:
Formal
Ontology in Information Systems: Proceedings of the Seventh International Conference (FOIS 2012)
611:
458:
296:
160:
145:
191:
formally stated descriptions of what must be true in order for some assertion to be accepted as input.
696:
705:
665:
593:
572:
Software using this ontology could now answer a question like "which cars are made in the U.S.?"
82:
35:
638:
700:
518:
431:
391:
288:
284:
174:
156:
503:
380:
292:
166:
212:
knowledge. As used here, "axioms" also include the theory derived from axiomatic statements.
561:
435:
8:
283:
is a collection of individuals or individuals objects. A class can be defined either by
636:
597:
589:
499:
372:
215:
151:
671:
644:
617:
231:
126:
690:
312:
Objects in an ontology can be described by relating them to other things, typically
557:
type relationship which tells us where each car is built. So the Ford
Explorer is
600:, each of which is relevant but not identical to the notion of a "class" here.
291:(specifying conditions), using what is called in some ontology languages like
720:
637:
Asunción Gómez-Pérez; Mariano
Fernandez-Lopez; Oscar Corcho (18 April 2006).
569:
325:
204:
395:
256:
693:
Description Logics: Foundations for Class-based
Knowledge Representation
538:
relation types for relations between a single object and a collection
510:
419:
365:
252:
24:
684:
663:
565:
691:
Diego
Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (2002).
547:
427:
376:
144:
instances or objects (the basic or "ground level" objects; the
535:
relation types for relations between an individual and a class
630:
498:
The addition of the is-a-subclass-of relationships creates a
383:. These are useful, but are not considered true ontologies.
568:
and
Kentucky is-classified-as-a state and is-a-part-of the
564:. The ontology may also know that Louisville is-located-in
553:
For example, in the domain of automobiles, we might need a
471:
248:
125:
share many structural similarities, regardless of the
657:
49:. Unsourced material may be challenged and removed.
402:. The full expression of that fact then becomes:
718:
541:relation types for relations between collections
532:relation types for relations between individuals
502:; a tree-like structure (or, more generally, a
356:⟨as by definition as part one of⟩
664:Maureen Donnelly; Giancarlo Guizzardi (2012).
609:
529:relation types for relations between classes
400:⟨is defined as a successor of⟩
352:(with as minimum and maximum cardinality: 4)
379:relationships exist between concepts) or a
364:The value of an attribute can be a complex
704:
643:. Springer Science & Business Media.
137:Common components of ontologies include:
109:Learn how and when to remove this message
603:
509:Another common type of relations is the
347:⟨as by definition as part⟩
339:⟨as by definition as part⟩
320:. These related things are often called
220:the changing of attributes or relations.
398:might be related by a relation of type
719:
230:Ontologies are commonly encoded using
457:An important type of relation is the
422:of the domain: that is, its various
255:and the model in development by the
47:adding citations to reliable sources
18:
13:
610:Taniar, David (28 February 2006).
440:
203:assertions (including rules) in a
16:Description of aspects of ontology
14:
738:
491:4-Wheel Drive Car, which in turn
449:4-Wheel Drive Car, which in turn
270:Class (knowledge representation)
268:This section is an excerpt from
23:
328:object has attributes such as:
163:of objects, or kinds of things.
34:needs additional citations for
727:Ontology (information science)
582:
237:
1:
408:is defined as a successor of
307:
613:Web Semantics & Ontology
386:
287:(specifying members), or by
7:
333:⟨has as name⟩
10:
743:
359:{4.0L engine, 4.6L engine}
267:
262:
697:Logic in Computer Science
159:, collections, concepts,
616:. Idea Group Inc (IGI).
594:Class (computer science)
575:
277:knowledge representation
132:
519:directed acyclic graph
454:
432:hyponymy and hypernymy
297:type–token distinction
513:relation, written as
504:partially ordered set
444:
381:controlled vocabulary
58:"Ontology components"
342:6-speed transmission
43:improve this article
295:. According to the
598:Class (philosophy)
590:Class (set theory)
469:, the converse of
455:
424:semantic relations
232:ontology languages
677:978-1-61499-083-3
650:978-1-85233-840-4
623:978-1-59140-907-6
127:ontology language
119:
118:
111:
93:
734:
711:
710:
708:
688:
682:
681:
661:
655:
654:
634:
628:
627:
607:
601:
586:
493:is-a-subclass-of
489:is-a-subclass-of
451:is-a-subclass-of
447:is-a-subclass-of
401:
357:
348:
340:
334:
226:types of events.
114:
107:
103:
100:
94:
92:
51:
27:
19:
742:
741:
737:
736:
735:
733:
732:
731:
717:
716:
715:
714:
706:10.1.1.177.2787
689:
685:
678:
662:
658:
651:
635:
631:
624:
608:
604:
587:
583:
578:
477:is-a-subtype-of
399:
389:
355:
346:
338:
332:
310:
305:
304:
273:
265:
240:
135:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
740:
730:
729:
713:
712:
683:
676:
656:
649:
629:
622:
602:
580:
579:
577:
574:
543:
542:
539:
536:
533:
530:
445:Ford Explorer
412:
411:
406:Ford Explorer
388:
385:
362:
361:
353:
344:
336:
309:
306:
274:
266:
264:
261:
239:
236:
228:
227:
224:
221:
218:
213:
201:
198:
195:
192:
189:
186:
183:
182:Function terms
180:
177:
172:
169:
164:
154:
149:
142:
134:
131:
117:
116:
31:
29:
22:
15:
9:
6:
4:
3:
2:
739:
728:
725:
724:
722:
707:
702:
698:
694:
687:
679:
673:
670:. IOS Press.
669:
668:
660:
652:
646:
642:
641:
633:
625:
619:
615:
614:
606:
599:
595:
591:
585:
581:
573:
571:
567:
563:
560:
556:
551:
549:
540:
537:
534:
531:
528:
527:
526:
522:
520:
516:
512:
507:
505:
501:
496:
494:
490:
486:
484:
478:
474:
473:
468:
466:
460:
452:
448:
443:
439:
437:
433:
429:
425:
421:
416:
410:: Ford Bronco
409:
405:
404:
403:
397:
393:
384:
382:
378:
374:
369:
367:
360:
354:
351:
345:
343:
337:
335:Ford Explorer
331:
330:
329:
327:
326:Ford Explorer
323:
319:
315:
302:
298:
294:
290:
286:
282:
278:
271:
260:
258:
254:
250:
244:
235:
233:
225:
222:
219:
217:
214:
211:
206:
202:
199:
196:
193:
190:
187:
184:
181:
178:
176:
173:
170:
168:
165:
162:
158:
155:
153:
150:
147:
143:
140:
139:
138:
130:
128:
124:
121:Contemporary
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
692:
686:
666:
659:
639:
632:
612:
605:
584:
558:
554:
552:
544:
523:
514:
508:
497:
492:
488:
480:
476:
470:
462:
456:
450:
446:
417:
413:
407:
390:
370:
363:
358:
349:
341:
321:
317:
313:
311:
245:
241:
229:
209:
205:logical form
188:Restrictions
136:
120:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
459:subsumption
396:Ford Bronco
257:IDEAS Group
238:Individuals
141:Individuals
562:Louisville
550:ontology.
465:superclass
461:relation (
436:coordinate
426:, such as
322:attributes
308:Attributes
167:Attributes
123:ontologies
69:newspapers
701:CiteSeerX
511:mereology
420:semantics
392:Relations
387:Relations
366:data type
301:Instances
289:intension
285:extension
253:ISO 15926
175:Relations
99:June 2009
721:Category
566:Kentucky
500:taxonomy
483:subclass
428:synonymy
373:taxonomy
210:a priori
559:made-in
555:made-in
548:Gellish
515:part-of
377:hyponym
314:aspects
263:Classes
223:Actions
152:Classes
83:scholar
703:
674:
647:
620:
596:, and
216:Events
200:Axioms
146:tokens
85:
78:
71:
64:
56:
576:Notes
495:Car.
481:is-a-
463:is-a-
318:parts
281:class
194:Rules
161:types
90:JSTOR
76:books
672:ISBN
645:ISBN
618:ISBN
588:See
570:U.S.
472:is-a
453:Car.
375:(if
350:door
279:, a
249:BORO
157:sets
133:List
62:news
485:-of
479:or
467:-of
316:or
293:OWL
275:In
45:by
723::
699:.
695:.
592:,
521:.
475:,
434:,
430:,
259:.
251:,
234:.
148:).
709:.
680:.
653:.
626:.
303:.
272:.
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.