Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
doc:reasoning_using_computables [2016/04/27 13:53] – [Qualitative spatial relations] daniel86doc:reasoning_using_computables [2016/04/27 13:54] (current) – [Qualitative spatial relations] daniel86
Line 22: Line 22:
 <code> <code>
  rosrun rosprolog rosprolog knowrob_map_data  rosrun rosprolog rosprolog knowrob_map_data
- ?- owl_parse('package://knowrob_map_data/owl/ias_semantic_map.owl').+ ?- owl_parse('package://knowrob_map_data/owl/ias_semantic_map.owl'), 
 +    rdf_db:rdf_register_ns(ias_map, 'http://knowrob.org/kb/ias_semantic_map.owl#',  [keep(true)]).
 </code> </code>
  
 In this example, we are loading the //ias_semantic_map// OWL file from the //knowrob_map_data// package that provides a set of object instances, namely pieces of furniture in a kitchen. It automatically loads the package //comp_spatial// that provides the computables for qualitative spatial relations. The map only consists of typed object instances at different locations. We can query for all objects that are on top of another, or for all objects that are on top of a specific object using the following queries: In this example, we are loading the //ias_semantic_map// OWL file from the //knowrob_map_data// package that provides a set of object instances, namely pieces of furniture in a kitchen. It automatically loads the package //comp_spatial// that provides the computables for qualitative spatial relations. The map only consists of typed object instances at different locations. We can query for all objects that are on top of another, or for all objects that are on top of a specific object using the following queries:
 <code> <code>
- rdf_db:rdf_register_ns(ias_map, 'http://knowrob.org/kb/ias_semantic_map.owl#',  [keep(true)]). 
  rdf_triple(knowrob:'on-Physical', Top, Bottom).  rdf_triple(knowrob:'on-Physical', Top, Bottom).
  rdf_triple(knowrob:'on-Physical', Top, ias_map:cupboard7).  rdf_triple(knowrob:'on-Physical', Top, ias_map:cupboard7).