Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
doc:important_concepts [2021/02/18 08:05] – [System architecture] daniel86doc: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, all knowledge is represented in the [[http://en.wikipedia.org/wiki/Web_Ontology_Language|Web Ontology Language (OWL)]]. This XML-based format allows to formally describe relational knowledge in a [[http://en.wikipedia.org/wiki/Description_Logic|Description Logics (DL)]] dialect.+In KnowRob, knowledge is represented in the [[http://en.wikipedia.org/wiki/Web_Ontology_Language|Web Ontology Language (OWL)]]. This XML-based format allows to formally describe relational knowledge in a [[http://en.wikipedia.org/wiki/Description_Logic|Description Logics (DL)]] dialect.
  
 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.