366 search results - page 12 / 74 » Optimizing the Evaluation of XPath Using Description Logics |
160
click to vote
SSDBM
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...
121
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
133
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
153
click to vote
JAR
2007
15 years 3 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
140
click to vote
DLOG
2006
15 years 5 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...