Sciweavers

2694 search results - page 24 / 539
» A Description Logic of Change
Sort
View
CLIMA
2006
13 years 10 months ago
Acts of Commanding and Changing Obligations
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
Tomoyuki Yamada
KR
2004
Springer
14 years 2 months ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
BIRTHDAY
2005
Springer
14 years 2 months ago
Description Logics as Ontology Languages for the Semantic Web
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
Franz Baader, Ian Horrocks, Ulrike Sattler
AUSAI
1999
Springer
14 years 1 months ago
Computing Least Common Subsumers in Expressive Description Logics
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
Thomas Mantay
AIM
2005
13 years 9 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil