1283 search results - page 149 / 257 » Reasoning With Weighted Ontologies |
166
click to vote
JWSR
2007
15 years 6 months ago
2007
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
163
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...
179
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
162
click to vote
CIA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
152
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...