Generality in artificial intelligence
Communications of the ACM
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
ε-connections of abstract description systems
Artificial Intelligence
Context shifting for effective search over large knowledge bases
Proceedings of the 1st Workshop on Context, Information and Ontologies
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Context-driven semantic enrichment of italian news archive
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
| Hi-index | 0.00 |
This thesis focuses on developing an efficient framework for contextualized knowledge representation on Semantic Web. We point out the drawbacks of existing formalism for contexts that hinder an efficient implementation and propose a context formalism that enables the development of a framework with desired properties. Some of the future milestones for this thesis work are to (i) develop a proof theory for the logical framework based on Description Logics (DL) (ii) develop reasoning algorithms (iii) verify and compare the performance of these algorithms to existing distributed reasoning formalisms and (iv) implement the system.