272 search results - page 25 / 55 » Reifying Concepts in Description Logics |
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
106
click to vote
EKAW
2004
Springer
15 years 5 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, ...
129
click to vote
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
105
click to vote
CADE
2006
Springer
16 years 1 days ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...