27 search results - page 6 / 6 » NEXPTIME-Complete Description Logics with Concrete Domains |
DLOG
2007
13 years 7 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
ESWS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...