Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
ε-connections of abstract description systems
Artificial Intelligence
The Description Logic Handbook
The Description Logic Handbook
A framework for context-sensitive metadata description
International Journal of Metadata, Semantics and Ontologies
The Logical Difference Problem for Description Logic Terminologies
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Package-Based Description Logics
Modular Ontologies
Metalevel information in ontology-based applications
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
ACM Transactions on Computational Logic (TOCL)
Web Semantics: Science, Services and Agents on the World Wide Web
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
An extension of complex role inclusion axioms in the description logic SROIQ
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
DataBridges: data integration for digital cities
Proceedings of the 2012 ACM workshop on City data management workshop
Comparing contextual and flat representations ofknowledge: a concrete case about football data
Proceedings of the seventh international conference on Knowledge capture
Business model ontologies in OLAP cubes
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
We propose Contextualized Knowledge Repository (CKR): an adaptation of the well studied theories of context for the Semantic Web. A CKR is composed of a set of OWL 2 knowledge bases, which are embedded in a context by a set of qualifying attributes (time, space, topic, etc.) specifying the boundaries within which the knowledge base is assumed to be true. Contexts of a CKR are organized by a hierarchical coverage relation, which enables an effective representation of knowledge and a flexible method for its reuse between the contexts. The paper defines the syntax and the semantics of CKR; shows that concept satisfiability and subsumption are decidable with the complexity upper bound of 2NExpTime, and it also provides a sound and complete natural deduction calculus that serves to characterize the propagation of knowledge between contexts.