Sciweavers

950 search results - page 12 / 190
» Pin-pointing concept descriptions
Sort
View
AUSAI
2009
Springer
15 years 8 months ago
Modelling Object Typicality in Description Logics
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
Katarina Britz, Johannes Heidema, Thomas Andreas M...
142
Voted
AI
2003
Springer
15 years 7 months ago
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
Christel Kemke
DLOG
2001
15 years 3 months ago
Using Lazy Unfolding for the Computation of Least Common Subsumers
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
Anni-Yasmin Turhan, Ralf Molitor
116
Voted
ECAI
2010
Springer
15 years 2 months ago
A Unified Framework for Non-standard Reasoning Services in Description Logics
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
83
Voted
WEBI
2005
Springer
15 years 7 months ago
Using Ontological Concepts for Web Service Composition
This paper describes an approach for a composition of web services based on their semantic descriptions. The process section of OWL-S service descriptions is built with references...
Claude Moulin, Marco Luca Sbodio