Sciweavers

2181 search results - page 107 / 437
» Ontologies and Description Logics
Sort
View
FTP
1998
Springer
15 years 10 months ago
Issues of Decidability for Description Logics in the Framework of Resolution
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
Ullrich Hustadt, Renate A. Schmidt
AAAI
2007
15 years 8 months ago
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information
We propose a framework for multi-issue bilateral negotiation, where issues are expressed and related to each other via Description Logics. Agents’ goals are expressed through (c...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
DLOG
2010
15 years 4 months ago
Optimization Techniques for Fuzzy Description Logics
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos,...
EUSFLAT
2007
124views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
Umberto Straccia, Fernando Bobillo
NGC
2007
Springer
171views Communications» more  NGC 2007»
15 years 5 months ago
Description Logics with Contraries, Contradictories, and Subcontraries
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
Ken Kaneiwa