706 search results - page 12 / 142 » Conceptual Modeling with Description Logics |
ASP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
GEOINFORMATICA
2007
13 years 7 months ago
2007
CADE
2006
Springer
14 years 8 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
CAISE
1993
Springer
13 years 12 months ago
1993
Springer
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
FUZZY
1997
Springer
13 years 12 months ago
1997
Springer
It is introduced a new concept: H-sets which generalises the notion of fuzzy sets and is based on the concept of hemilattice. Then, we extend the attribute-value conceptual spaces ...