2181 search results - page 373 / 437 » Ontologies and Description Logics |
143
click to vote
DLOG
2007
15 years 8 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...
145
click to vote
DLOG
2007
15 years 8 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...
166
click to vote
DLOG
2008
15 years 8 months ago
2008
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
136
click to vote
DLOG
2008
15 years 8 months ago
2008
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
160
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...