Ontologies are more than an elaborate approach to the definition and classification of information. They play a vital role in various web-oriented applications that makes a corr...
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...
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
From the standpoint of satisfying human's informationneeds, the current digital library (DL) systems suffer from the following two shortcomings: (i) inadequate high-level cog...
Ling Feng, Manfred A. Jeusfeld, Jeroen Hoppenbrouw...
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...