Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
doc:important_concepts [2021/02/18 08:05] – [System architecture] daniel86 | doc:important_concepts [2021/02/18 08:06] – [Description Logics, Classes, Instances, OWL, Prolog] daniel86 | ||
---|---|---|---|
Line 6: | Line 6: | ||
===== Description Logics, Classes, Instances, OWL, Prolog | ===== Description Logics, Classes, Instances, OWL, Prolog | ||
- | In KnowRob, | + | In KnowRob, knowledge is represented in the [[http:// |
For formally modeling knowledge, it is very useful to distinguish between general relations and environment-specific information. In OWL, this is reflected by the distinction between classes and instances. Class knowledge is described in the so-called TBOX (terminological box); knowledge about instances of these classes is contained in the ABOX (assertional box). The relation between classes and instances is similar to object-oriented programming. | For formally modeling knowledge, it is very useful to distinguish between general relations and environment-specific information. In OWL, this is reflected by the distinction between classes and instances. Class knowledge is described in the so-called TBOX (terminological box); knowledge about instances of these classes is contained in the ABOX (assertional box). The relation between classes and instances is similar to object-oriented programming. |