722 search results - page 1 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
IJCAI
2007
13 years 5 months ago
2007
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 ...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
FOIKS
2008
Springer
13 years 5 months ago
2008
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
ASP
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...