Sciweavers

3244 search results - page 175 / 649
» Extensions to Description Logics
Sort
View
FLAIRS
2007
15 years 8 months ago
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
Antoni Ligeza, Grzegorz J. Nalepa
AAAI
1994
15 years 7 months ago
Reasoning about Priorities in Default Logic
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...
Gerhard Brewka
JUCS
2007
121views more  JUCS 2007»
15 years 6 months ago
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
DLOG
2009
15 years 4 months ago
A Matter of Principles: Towards the Largest DLP Possible
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
Markus Krötzsch, Sebastian Rudolph
PUK
2003
15 years 7 months ago
Modeling in an Architectural Variability Description Language
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...