Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
modeling_tasks_and_actions [2013/02/04 14:17] – [Describing observed actions (ABOX)] tenorth | modeling_tasks_and_actions [2013/02/04 14:26] – [ABOX or TBOX?] tenorth |
---|
===== ABOX or TBOX? ===== | ===== ABOX or TBOX? ===== |
| |
In KnowRob, Knowledge is modeled in [http://en.wikipedia.org/wiki/Description_logic Description Logic (DL)] using the OWL syntax. A special property of DL is the distinction between the TBOX (terminological box) and theABOX (assertional box). The former describes classes, their relations and properties, while the latter contains instances of these classes. | In KnowRob, Knowledge is modeled in [[http://en.wikipedia.org/wiki/Description_logic|Description Logic (DL)]] using the OWL syntax. A special property of DL is the distinction between the TBOX (terminological box) and theABOX (assertional box). The former describes classes, their relations and properties, while the latter contains instances of these classes. |
| |
In case of actions, these instances may be | In case of actions, these instances may be |