Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
doc:important_concepts [2014/08/08 08:09] – [Important concepts] admin | 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. | ||
Line 20: | Line 20: | ||
- | ===== System architecture | ||
- | KnowRob is realized in a very modularized way. A base system, provides the basic reasoning capabilities and is largely independent of the domain of interest. It consists of Prolog, its semantic web library that serves for loading the OWL files, the Java/Prolog interface which serves for interfacing | ||
- | existing libraries written in Java, and the system of computables described earlier. | ||
- | |||
- | < | ||
- | ------------------------ | ||
- | | perception interface | | action interpretation | | ||
- | ------------------------ | ||
- | | | | ||
- | | ||
- | | spatial reasoning | | | temporal reasoning | | | ROS interface | | ||
- | | ||
- | | | ||
- | | ||
- | | ||
- | | ||
- | | | | | ||
- | | ||
- | | SWI Prolog SemWeb | | JPL Java/Prolog Interface | | Computables | | ||
- | | ||
- | </ | ||
- | |||
- | On top of it, the Knowrob-Base system represents general class knowledge of the household and kitchen domain in form of an ontology. This ontology provides the robot with the general terms it ' | ||
- | |||
- | Extension modules plug into the system and provide e.g. specialized reasoning capabilities or interfaces to external data, e.g. to read object detections from the vision system. These modules mainly operate on the level of instances. |