Sciweavers

215 search results - page 13 / 43
» Contextualization of a DL Knowledge Base
Sort
View
87
Voted
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
15 years 6 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
86
Voted
KSEM
2009
Springer
15 years 6 months ago
Knowledge Maturing Services: Supporting Knowledge Maturing in Organisational Environments
The changes in the dynamics of the economy and the corresponding mobility and fluctuations of knowledge workers within organizations make continuous social learning an essential f...
Karin Schoefegger, Nicolas Weber, Stefanie N. Lind...
IJCAI
2007
15 years 1 months ago
Conjunctive Query Answering for the Description Logic SHIQ
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive quer...
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sa...
ESWS
2005
Springer
15 years 5 months ago
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
WWW
2005
ACM
16 years 10 days ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong