342 search results - page 55 / 69 » Tableau Algorithms for Description Logics |
74
Voted
DELTA
2004
IEEE
15 years 4 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
108
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for ag...
147
Voted
AAAI
2010
15 years 1 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
112
click to vote
DLOG
2004
15 years 1 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
ENTCS
2006
15 years 13 days ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...