A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology’s Axioms-Reference-Cited by-同舟云学术

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology’s Axioms

Published:2009 Issue: Volume: Page:49-64
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baader Franz,Knechtel Martin,Peñaloza Rafael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04930-9_4

Reference21 articles.

1. Baader, F., Brandt, S., Lutz, C.: Pushing the $\mathcal{EL}$ envelope. In: Proc. of 19th Int. Joint Conf. on Art. Int. IJCAI 2005, Edinburgh, UK. Morgan-Kaufmann, San Francisco (2005)

2. Baader, F., Knechtel, M., Peñaloza, R.: Computing boundaries for reasoning in sub-ontologies. Technical Report 09-02, LTCS (2009), http://lat.inf.tu-dresden.de/research/reports.html

3. Lecture Notes in Artificial Intelligence;F. Baader,2007

4. Lecture Notes in Artificial Intelligence;F. Baader,2008

5. Baader, F., Peñaloza, R.: Axiom pinpointing in general tableaux. Journal of Logic and Computation (To appear, 2009)

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

1. Explaining Axiom Pinpointing;Lecture Notes in Computer Science;2019

2. Understanding the complexity of axiom pinpointing in lightweight description logics;Artificial Intelligence;2017-09

3. The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL;Journal of Automated Reasoning;2016-09-26

4. A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases;ACM Transactions on Computational Logic;2015-03

5. SemQuaRE — An extension of the SQuaRE quality model for the evaluation of semantic technologies;Computer Standards & Interfaces;2015-02