Correcting access restrictions to a consequence more flexibly

CEUR Workshop Proceedings

Volumn 745, Issue , 2011, Pages 103-113

  Eldora, ^a   Knechtel, Martin ^b   Penaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS RESTRICTION; ACCESS RIGHTS; BLACK BOXES; ERROR PRONES; GENERAL SITUATION; LABELING FUNCTIONS; SECURITY ADMINISTRATOR;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84872951802     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, 2003.
2. F. Baader, M. Knechtel, and R. Penaloza. A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology's axioms. In A. B. et al., editor, Proceedings of the 8th International Semantic Web Conference (ISWC 2009), Washington, DC, 2009.
3. F. Baader and R. Penaloza. Axiom pinpointing in general tableaux. Journal of Logic and Computation, 20(1):5-34, February 2010. Special Issue: Tableaux and Analytic Proof Methods.
4. F. Baader, R. Penaloza, and B. Suntisrivaraporn. Pinpointing in the description logic EL+. In J. Hertzberg, M. Beetz, and R. Englert, editors, Proceedings of the 30th German Annual Conference on Artificial Intelligence (KI'07), volume 4667 of Lecture Notes in Artificial Intelligence, pages 52-67, Osnabruck, Germany, 2007. Springer-Verlag.
5. C. Farkas and S. Jajodia. The inference problem: a survey. SIGKDD Explor. Newsl., 4(2):6-11, 2002.
6. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of OWL DL entailments. In K. Aberer, K.-S. Choi, N. F. Noy, D. Allemang, K.-I. Lee, L. J. B. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber, and P. Cudr'e-Mauroux, editors, Proc. of the 6th Int. Semantic Web Conf. and 2nd Asian Semantic Web Conf. (ISWC'07,ASWC'07), volume 4825 of LNCS, pages 267-280, Busan, Korea, 2007. Springer-Verlag.
7. M. Knechtel and R. Penaloza. Correcting access restrictions to a consequence. In V. Haarslev, D. Toman, and G. Weddell, editors, Proceedings of the 2010 International Workshop on Description Logics (DL'10), volume 573 of CEUR-WS, Waterloo, Canada, 2010.
8. M. Knechtel and R. Penaloza. A generic approach for correcting access restrictions to a consequence. In L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache, editors, Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010), volume 6088 of Lecture Notes in Computer Science, pages 167-182, 2010.
9. R. Penaloza. Using sums-of-products for non-standard reasoning. In A.-H. Dediu, H. Fernau, and C. Mart'?n-Vide, editors, Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), volume 6031 of Lecture Notes in Computer Science, pages 488-499. Springer-Verlag, 2010.
10. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
11. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In G. Gottlob and T. Walsh, editors, Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI'03), pages 355-362, Acapulco, Mexico, 2003. Morgan Kaufmann, Los Altos.
12. B. Suntisrivaraporn. Polynomial-time Reasoning Support for Design and Maintenance of Large-scale Biomedical Ontologies. PhD thesis, Technische Universitat Dresden, 2009.