3446 search results - page 4 / 690 » A Reasoning Algorithm for pD* |
74
Voted
CSL
1990
Springer
15 years 7 months ago
1990
Springer
102
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
107
Voted
GIS
1998
ACM
15 years 3 months ago
1998
ACM
110
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
165
Voted
DLOG
2009
15 years 1 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...