Search Sciweavers | Sciweavers

1435 search results - page 5 / 287

» E-connections of Description Logics

click to vote

AI
1999
Springer

103views Artificial Intelligence» more AI 1999»

Modal Logics, Description Logics and Arithmetic Reasoning

13 years 7 months ago

Download www.pms.ifi.lmu.de

Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...

Hans Jürgen Ohlbach, Jana Koehler

claim paper

Read More »

click to vote

IJCAI
2007

164views Artificial Intelligence» more IJCAI 2007»

A Faithful Integration of Description Logics with Logic Programming

13 years 8 months ago

Download www.ijcai.org

Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...

Boris Motik, Riccardo Rosati

claim paper

Read More »

click to vote

DLOG
2007

167views Automated Reasoning» more DLOG 2007»

Exploiting Description Logic Reasoners in Inductive Logic

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

In spite of the increasing eﬀort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...

Francesca A. Lisi

claim paper

Read More »

click to vote

AAAI
1994

105views Intelligent Agents» more AAAI 1994»

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

13 years 8 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Maurizio Lenzerini

claim paper

Read More »