153 search results - page 9 / 31 » Deciding expressive description logics in the framework of r... |
SEMWEB
2004
Springer
15 years 2 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
ASP
2003
Springer
15 years 2 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...
JAR
2007
14 years 9 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
OTM
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
93
Voted
LPAR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...