78 search results - page 1 / 16 » Combining Answer Set Programming with Description Logics for... |
ESWS
2007
Springer
13 years 10 months ago
2007
Springer
KR
2004
Springer
13 years 9 months ago
2004
Springer
FUIN
2008
13 years 4 months ago
2008
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...
ESWS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...