This report describes the Description Logic (DL) system FLEX. It consists of a brief overview over the field of Description Logics in general and the characteristics of FLEX, a tutorial for the FLEX system, a brief description of the inference algorithms, and an appendix containing a syntax overview, the formal semantics, a reference manual, and an installation guide. In a sense, the FLEX system can be seen as an extension of the DL system BACK. The main differences are that FLEX supports full disjunction and negation, weighted defaults, situated object descriptions, term-valued features, and flexible inference strategies. On the other hand, FLEX does not support some of the functionality provided by the BACK system, such as revision, for ...
FLEX is the common acronym used to describe a presequenced Foreign Language EXploratory course rangi...
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although t...
This report presents the status of the research the author is conducting on the development of a com...
This report describes the Description Logic (DL) system FLEX. It consists of a brief overview over t...
technical reportThe FLEX system consists of merged 'hardware' and 'software' that is optimized towar...
SIGLEAvailable from TIB Hannover: RN 9844(626) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...
Im Rahmen dieser Arbeit wurde die Evaluation von Adobe Flex 2.0 anhand des Systementwurfs einer koll...
Capabilities in Flex are first class data objects which allow one to define and limit the right to a...
This paper investigates an aspect of the notion flexeme (French flexème), introduced by Fra- din & K...
This report documents the program and the outcomes of Dagstuhl Seminar 21361 "Extending the Synergie...
xMelandra Limited, UK. Abstract The Semantic Web has seen increased interest in the use of Descripti...
The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description l...
Description logics (DLs) are a successful family of logic-based knowledge represen-tation formalisms...
Diewald M, Brose H-G, Gödicke A. Flexicurity im Lebenslauf Wechselwirkungen zwischen pluralen Lebens...
Conclusions can be drawn from incomplete or inconsistent specifications by separating the correspond...
FLEX is the common acronym used to describe a presequenced Foreign Language EXploratory course rangi...
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although t...
This report presents the status of the research the author is conducting on the development of a com...
This report describes the Description Logic (DL) system FLEX. It consists of a brief overview over t...
technical reportThe FLEX system consists of merged 'hardware' and 'software' that is optimized towar...
SIGLEAvailable from TIB Hannover: RN 9844(626) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...
Im Rahmen dieser Arbeit wurde die Evaluation von Adobe Flex 2.0 anhand des Systementwurfs einer koll...
Capabilities in Flex are first class data objects which allow one to define and limit the right to a...
This paper investigates an aspect of the notion flexeme (French flexème), introduced by Fra- din & K...
This report documents the program and the outcomes of Dagstuhl Seminar 21361 "Extending the Synergie...
xMelandra Limited, UK. Abstract The Semantic Web has seen increased interest in the use of Descripti...
The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description l...
Description logics (DLs) are a successful family of logic-based knowledge represen-tation formalisms...
Diewald M, Brose H-G, Gödicke A. Flexicurity im Lebenslauf Wechselwirkungen zwischen pluralen Lebens...
Conclusions can be drawn from incomplete or inconsistent specifications by separating the correspond...
FLEX is the common acronym used to describe a presequenced Foreign Language EXploratory course rangi...
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although t...
This report presents the status of the research the author is conducting on the development of a com...