Correcting access restrictions to a consequence

CEUR Workshop Proceedings

Volumn 573, Issue , 2010, Pages 220-231

  Knechtel, Martin ^a   Penaloza, Rafael ^b  

^a SAP Research Center Dresden   (Germany)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS RESTRICTION; LARGE-SCALE ONTOLOGIES; SECURITY ADMINISTRATOR;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 78049360427     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2007.
2. F. Baader, M. Knechtel, and R. Peñaloza. A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology's axioms. In Proc. of ISWC'09, volume 5823 of LNCS, pages 49-64, 2009.
3. F. Baader and R. Peñaloza. Automata-based axiom pinpointing. Journal of Automated Reasoning, 2010. Special Issue: IJCAR 2008. To appear.
4. F. Baader and R. Peñaloza. Axiom pinpointing in general tableaux. Journal of Logic and Computation, 2010. Special Issue: Tableaux'07. To appear.
5. F. Baader and B. Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic εl+. In Proc. of KR-MED'08, 2008.
6. A. Gaag, A. Kohn, and U. Lindemann. Function-based solution retrieval and semantic search in mechanical engineering. In Proc. of ICED'09, 2009.
7. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of OWL DL entailments. In Proc. of ISWC'07 + ASWC'07, 2007.
8. A. Kalyanpur, B. Parsia, E. Sirin, and J. A. Hendler. Debugging unsatisfiable classes in OWL ontologies. J. Web Sem., 3(4):268-293, 2005.
9. M. Knechtel and R. Peñaloza. A Generic Approach for Correcting Access Restrictions to a Consequence. In Proc. of ESWC'10, 2010. To appear.
10. T. Meyer, K. Lee, R. Booth, and J. Z. Pan. Finding maximally satisfiable terminologies for the description logic ALC. In Proc. of AAAI'06, 2006.
11. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proc. of IJCAI'03, pages 355-362, 2003.
12. B. Suntisrivaraporn. Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, TU Dresden, 2008.