1285 search results - page 44 / 257 » Description Logic Reasoner: System Description |
110
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
109
click to vote
DLOG
1997
15 years 2 months ago
1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...
102
click to vote
DLOG
2009
14 years 11 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...
142
click to vote
FOIKS
2010
Springer
15 years 8 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
DLOG
2006
15 years 2 months ago
2006
