3 search results - page 1 / 1 » Model-Based Most Specific Concepts in Some Inexpressive Desc... |
101
click to vote
DLOG
2009
14 years 8 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
93
Voted
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
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 ...
200
Voted
PADL
2009
Springer
15 years 11 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...