2500 search results - page 301 / 500 » Logical Semantics of Modularisation |
182
click to vote
OTM
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
193
click to vote
SUM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
164
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
177
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
148
click to vote
RULEML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...