433 search results - page 4 / 87 » Description Logics in the Calculus of Structures |
138
click to vote
IAT
2009
IEEE
16 years 19 days ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
114
Voted
DLOG
2010
15 years 3 months ago
2010
149
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
184
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...