A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Proceedings of the 17th international conference on World Wide Web
Towards OntoClean 2.0: A framework for rigidity
Applied Ontology
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion
Uncertainty Reasoning for the Semantic Web I
Ontology Learning and Reasoning -- Dealing with Uncertainty and Inconsistency
Uncertainty Reasoning for the Semantic Web I
Integrated metamodeling and diagnosis in OWL 2
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Using provenance to debug changing ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Contextualized knowledge repositories for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Comparing contextual and flat representations ofknowledge: a concrete case about football data
Proceedings of the seventh international conference on Knowledge capture
Scope of ontological annotation in e-commerce
International Journal of Business Information Systems
Hi-index | 0.00 |
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level information, such as provenance or access rights policies. Existing OWL-based tools provide little or no support for the representation and management of metalevel information. To fill this gap, we propose a framework based on metaviews--ontologies that describe facts in the application domain. We have implemented our framework in the KAON2 reasoner, and have successfully applied it in a nontrivial scenario.