Sciweavers

267 search results - page 1 / 54
» Evolution of DL - Lite Knowledge Bases
Sort
View
SWAP
2008
13 years 6 months ago
Learning SHIQ+log Rules for Ontology Evolution
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
Francesca A. Lisi, Floriana Esposito
ECAI
2008
Springer
13 years 6 months ago
Description Logic Rules
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
Markus Krötzsch, Sebastian Rudolph, Pascal Hi...
DLOG
2007
13 years 7 months ago
Exploiting Description Logic Reasoners in Inductive Logic
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
Francesca A. Lisi
DLOG
2003
13 years 6 months ago
DL Reasoner vs. First-Order Prover
We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
Dmitry Tsarkov, Ian Horrocks
DLOG
2007
13 years 7 months ago
Contextualization of a DL Knowledge Base
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...