Sciweavers

3793 search results - page 32 / 759
» Expressive Description Logics
Sort
View
DLOG
2010
14 years 8 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
IAT
2009
IEEE
15 years 1 months ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone
VAMOS
2010
Springer
14 years 11 months ago
A Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
Patrizia Asirelli, Maurice H. ter Beek, Stefania G...
ICDE
1997
IEEE
176views Database» more  ICDE 1997»
15 years 11 months ago
ODB-QOPTIMIZER: A Tool for Semantic Query Optimization in OODB
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...
Sonia Bergamaschi, Domenico Beneventano, Claudio S...
RULEML
2004
Springer
15 years 3 months ago
Defeasible Description Logics
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
Guido Governatori