238 search results - page 31 / 48 » Proof-Theoretic Approach to Description-Logic |
ENTCS
2006
13 years 9 months ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
DLOG
2010
13 years 7 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
PKDD
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
ENC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...