157 search results - page 14 / 32 » A Conjunctive Query Language for Description Logic Aboxes |
127
Voted
DLOG
2011
14 years 4 months ago
2011
We prove co-N2ExpTime-hardness for conjunctive query entailment in the description logic ALCOIF , thus improving the previously known 2ExpTime lower bound. The result transfers to ...
95
Voted
ASIAN
1998
Springer
15 years 4 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
105
Voted
DLOG
2010
14 years 10 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
142
click to vote
DAGSTUHL
2003
15 years 1 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
118
Voted
JODL
2000
15 years 6 days ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...