2152 search results - page 284 / 431 » On Automating the Calculus of Relations |
118
Voted
DLOG
2009
14 years 10 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
144
Voted
DLOG
2009
14 years 10 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
136
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
106
click to vote
GIS
2009
ACM
14 years 10 months ago
2009
ACM
We propose a location-based query anonymization technique, LBS (k,T)-anonymization, that ensures anonymity of user's query in a specific time window against what we call know...
108
Voted
ICCBR
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...