12 search results - page 3 / 3 » On Generalized Records and Spatial Conjunction in Role Logic |
SAC
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
DLOG
2007
13 years 7 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...