3793 search results - page 48 / 759 » Expressive Description Logics |
DLOG
2001
14 years 11 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
ML
2006
ACM
14 years 10 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
130
click to vote
AAAI
2010
14 years 11 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...
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer