1331 search results - page 60 / 267 » Description logic reasoning using the PTTP approach |
158
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
158
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
158
click to vote
IJCAI
1997
15 years 7 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
182
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contents by semantic Reasoning) is presented. This tool uses the experience gained in ...
197
click to vote
AIA
2006
15 years 7 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...