1544 search results - page 36 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
174
click to vote
IJCAI
2001
15 years 7 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
156
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
145
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
187
click to vote
DLOG
2009
15 years 4 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...