Contexts: a formalization and some applications
Contexts: a formalization and some applications
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A Tableau Method for Public Announcement Logics
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Dynamic Epistemic Logic
Granular Models for Vague Predicates
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Multi-dimensional description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Architecture for a grounded ontology of geographic information
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Description logics for relative terminologies
ESSLLI'08/09 Proceedings of the 2008 international conference on Interfaces: explorations in logic, language and computation
Contextual ontologies: motivations, challenges, and solutions
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Description logics for relative terminologies
ESSLLI'08/09 Proceedings of the 2008 international conference on Interfaces: explorations in logic, language and computation
Hi-index | 0.00 |
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of reasoning with contextual knowledge has been picked up also by the Semantic Web community. In this paper we introduce a conservative extension to the Description Logic ALC which supports representation of ontologies containing relative terms, such as 'big' or 'tall, whose meaning depends on the choice of a particular comparison class (context). We define the language and investigate its computational properties, including the specification of a tableau-based decision procedure and complexity bounds.