Personal tools
You are here: Home Publications A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL
About NIFTi
NIFTi is about human-robot cooperation. About teams of robots and humans doing tasks together, interacting together to try and reach a shared goal. NIFTi looks at how the robot could bear the human in mind. Literally. When determining what to do or say next in human-robot interaction; when, and how. NIFTi puts the human factor into cognitive robots, and human-robot team interaction in particular.   Each year, NIFTi evaluates its systems together with several USAR organizations. Rescue personnel teams up with NIFTi robots to carry out realistic missions, in real-life training areas. 
Impressum

This site uses Google Analytics to record statistics on site visits - see Legal information.

 

H.U. Krieger (2011)

A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL

In: Proc. AAAI 2011 Spring Symposium Logical Formalizations of Commonsense Reasoning.

Temporal encoding schemes using RDF and OWL are often plagued by a massive proliferation of useless “container” objects. Reasoning and querying with such representations is extremely complex, expensive, and error-prone. We present a temporal extension of the Hayes and ter Horst entailment rules for RDFS/OWL. The extension is realized by extending RDF triples with further temporal arguments and requires only some lightweight forms of reasoning. The approach has been implemented in the forward chaining engine HFC.