Sciweavers

1178 search results - page 28 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
SEMWEB
2007
Springer
15 years 6 months ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...
AIM
2005
14 years 11 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
JOLLI
2007
128views more  JOLLI 2007»
14 years 11 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
LWA
2004
15 years 1 months ago
Towards Knowledge-Intensive Subgroup Discovery
Subgroup discovery can be applied for exploration or descriptive induction in order to discover "interesting" subgroups of the general population, given a certain proper...
Martin Atzmüller, Frank Puppe, Hans-Peter Bus...
ECSQARU
2007
Springer
15 years 6 months ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin