Sciweavers

1178 search results - page 23 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
DLOG
2008
15 years 2 months ago
A Survey of Revision Approaches in Description Logics
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
Guilin Qi, Fangkai Yang
KI
2007
Springer
15 years 6 months ago
Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
Conrad Drescher, Michael Thielscher
KR
2010
Springer
15 years 3 months ago
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
Rafael Peñaloza, Baris Sertkaya
DLOG
2010
14 years 9 months ago
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
Quentin Reul, Jeff Z. Pan
PSSS
2003
15 years 1 months ago
DLDB: Extending Relational Databases to Support Semantic Web Queries
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
Zhengxiang Pan, Jeff Heflin