1663 search results - page 144 / 333 » Description Logics for Interoperability |
114
click to vote
DLOG
2003
15 years 5 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
153
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
144
click to vote
DLOG
2003
15 years 5 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
108
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...