Sciweavers

2181 search results - page 96 / 437
» Ontologies and Description Logics
Sort
View
DLOG
2008
15 years 8 months ago
Consistency Checking for Extended Description Logics
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...
KIVS
2005
Springer
15 years 11 months ago
Ranked Matching for Service Descriptions Using OWL-S
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
Michael C. Jaeger, Gregor Rojec-Goldmann, Christop...
CONTEXT
2007
Springer
16 years 14 days ago
Ontologies as Contexts for Constraint-based Reasoning
We give a brief description of a system we are currently building that fulfils the promise of our title. This description also indicates why we are interested in the topic of cont...
Richard J. Wallace, Tomas Eric Nordlander, Ioannis...
CADE
2006
Springer
16 years 6 months ago
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...
David Toman, Grant E. Weddell
AIEDAM
1999
157views more  AIEDAM 1999»
15 years 6 months ago
Representing a robotic domain using temporal description logics
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
Alessandro Artale, Enrico Franconi