Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes-Reference-Cited by-同舟云学术

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes

Published:2014-12-12 Issue:1 Volume:7 Page:25-61
ISSN:2210-4968
Container-title:Semantic Web
language:
Short-container-title:SW

Author:

Joseph Mathew¹²,Kuper Gabriel²,Mossakowski Till³,Serafini Luciano¹

Affiliation:

1. FBK-IRST, Via Sommarive 18, 38050, Trento, Italy

2. DISI, University of Trento, Via Sommarive 5, 38123, Trento, Italy

3. Faculty of Computer Science, Otto-von-Guericke University of Magdeburg, 39016, Magdeburg, Germany. E-mails: joseph@disi.unitn.it, kuper@disi.unitn.it, mossakow@iws.cs.uni-magdeburg.de, serafini@fbk.eu

Publisher

IOS Press

Subject

Computer Networks and Communications,Computer Science Applications,Information Systems

Reference38 articles.

1. [1]S. Abiteboul, R. Hull and V. Vianu, Foundations of Databases, Addison-Wesley, 1995.

2. On rules with existential variables: Walking the decidability line;Baget;Artificial Intelligence,2011

3. [3]C. Beeri and M.Y. Vardi, The implication problem for data dependencies, in: Automata, Languages and Programming, 8th Colloquium, ICALP, S. Even and O. Kariv, eds, Lecture Notes in Computer Science, Vol. 115, Springer, 1981, pp. 73–85.

4. [4]A. Borgida and L. Serafini, Distributed description logics: Assimilating information from peer sources, in: Journal on Data Semantics I, Lecture Notes in Computer Science, Vol. 2800, (2003), 153–184.

5. [5]P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini and H. Stuckenschmidt, C-OWL: Contextualizing ontologies, in: The Semantic Web – ISWC 2003, D. Fensel, K.P. Sycara and J. Mylopoulos, eds, Lecture Notes in Computer Science, Vol. 2870, Springer, 2003, pp. 164–179, 2003.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A METHOD FOR IMPROVING REASONING AND REALIZATION PROBLEM SOLVING IN DESCRIPTIVE LOGIC- BASED AND ONTOLOGY-BASED REASONERS;Malaysian Journal of Computer Science;2022-01-31

2. Hypergraph Approach Towards Ontology Design in Association-Oriented Metamodel;Cybernetics and Systems;2019-02-07

3. Exploring the Veracity of Online Claims with BackDrop;Proceedings of the 2017 ACM on Conference on Information and Knowledge Management;2017-11-06

4. Distributed Reasoning for Mapped Ontologies Using Rewriting Logic;Model and Data Engineering;2016