Sciweavers

174 search results - page 8 / 35
» Reconciling description logics and rules
Sort
View
DLOG
2008
15 years 2 months ago
Rewriting Rules into SROIQ Axioms
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
Francis Gasse, Ulrike Sattler, Volker Haarslev
104
Voted
CLIMA
2004
15 years 1 months ago
From Logic Programs Updates to Action Description Updates
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
José Júlio Alferes, Federico Banti, ...
104
Voted
ISDA
2009
IEEE
15 years 6 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia
AI
2011
Springer
14 years 6 months ago
Local closed world reasoning with description logics under the well-founded semantics
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
Matthias Knorr, José Júlio Alferes, ...
94
Voted
DLOG
2008
15 years 2 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...