Context-dependent views to axioms and consequences of Semantic Web ontologies

Journal of Web Semantics

Volumn 12-13, Issue , 2012, Pages 22-40

  Baader, Franz ^a   Knechtel, Martin ^b   Peñaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b SAP RESEARCH   (Germany)

Author keywords

Access restrictions; Contexts; Ontologies; Views

Indexed keywords

ACCESS RESTRICTION; ACCESS RIGHTS; BLACK BOX APPROACH; BLACK BOXES; CONTEXT DEPENDENT; CONTEXTS; ERROR PRONES; KNOWLEDGE ENGINEERS; LARGE-SCALE ONTOLOGIES; LEVEL OF DETAIL; REASONING PROCEDURES; SEMANTIC WEB ONTOLOGIES; SUB-ONTOLOGY; TRUST LEVEL; USER LABELS; VIEWS;

COMPUTER NETWORKS; ONTOLOGY; SOFTWARE ENGINEERING;

SEMANTIC WEB;

EID: 84858337975     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2011.11.006     Document Type: Article

References (30)

1. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider second ed. The Description Logic Handbook: Theory, Implementation and Applications 2007 Cambridge University Press
2. G. Qi, J.Z. Pan, A tableau algorithm for possibilistic description logic, in: J. Domingue, C. Anutariya (Eds.), Proceedings of the Third Asian Semantic Web Conference (ASWC 2008), Vol. 5367 of Lecture Notes in Computer Science, Springer-Verlag, 2008, pp. 61-75.
3. M.-J. Lesot, O. Couchariere, B. Bouchon-Meunier, and J.-L. Rogier Inconsistency degree computation for possibilistic description logic: an extension of the tableau algorithm Proceedings of the Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS 2008) 2008 IEEE Computer Society Press 1 6
4. S. Schlobach, R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, in: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 355-362.
5. T. Meyer, K. Lee, R. Booth, and J.Z. Pan Finding maximally satisfiable terminologies for the description logic ALC Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006) 2006 AAAI Press/The MIT Press
6. A. Kalyanpur, B. Parsia, E. Sirin, and J.A. Hendler Debugging unsatisfiable classes in OWL ontologies Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3 4 2005 268 293 (Pubitemid 41688988)
7. F. Baader, and R. Peñaloza Axiom pinpointing in general tableaux Journal of Logic and Computation 20 1 2010 5 34
8. F. Baader, R. Pe naloza, Automata-based axiom pinpointing, in: A. Armando, P. Baumgartner, G. Dowek (Eds.), Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008), No. 5195 in Lecture Notes in Artificial Intelligence, Springer, 2008, pp. 226-241.
9. A. Jain, and C. Farkas Secure resource description framework: an access control model Proceedings of the 11th ACM symposium on Access control models and technologies (SACMAT 2006) 2006 ACM New York, NY, USA 121 129 Available from: < http://acm.org/ >, doi:10.1145/1133058.1133076 (Pubitemid 44300749)
10. G. Flouris, I. Fundulaki, P. Pediaditis, Y. Theoharis, V. Christophides, Coloring RDF triples to capture provenance, in: A. Bernstein, D.R. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, K. Thirunarayan (Eds.), Proceedings of the Eighth International Semantic Web Conference (ISWC 2009), Vol. 5823 of Lecture Notes in Computer Science, Springer, 2009, pp. 196-212.
11. A. Kalyanpur, B. Parsia, M. Horridge, E. Sirin, Finding all justifications of OWL DL entailments, in: Proceedings of the Sixth International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC+ASWC 2007), Vol. 4825 of Lecture Notes in Computer Science, Springer-Verlag, Busan, Korea, 2007, pp. 267-280.
12. B. Suntisrivaraporn, Polynomial-time reasoning support for design and maintenance of large-scale biomedical ontologies, Ph.D. Thesis, Technische UniversitSt Dresden, 2008. Available at: < http://nbn-resolving.de/urn:nbn: de:bsz:14-ds-1233830966436-59282 >.
13. G. Qi, J.Z. Pan, Q. Ji, Extending description logics with uncertainty reasoning in possibilistic logic, in: K. Mellouli (Ed.), Proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Vol. 4724 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 828-839.
14. F. Baader, M. Knechtel, R. Peñaloza, A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology's axioms, in: A. Bernstein, D.R. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, K. Thirunarayan (Eds.), Proceedings of the Eighth International Semantic Web Conference (ISWC 2009), Vol. 5823 of Lecture Notes in Computer Science, 2009, pp. 49-64.
15. M. Knechtel, R. Peñaloza, 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, T. Tudorache (Eds.), Proceedings of the Seventh Extended Semantic Web Conference (ESWC 2010), Vol. 6088 of Lecture Notes in Computer Science, 2010, pp. 167-182.
16. THESEUS Joint Research, THESEUS application scenario PROCESSUS, 2010. Available from: < http://www.theseus.joint-research.org/processus-en/ >.
17. B.A. Davey, and H.A. Priestley Introduction to Lattices and Order second ed. 2002 Cambridge University Press
18. B. Lampson, Protection, in: Proceedings of the Fifith Annual Princeton Conference on Information Sciences and Systems, 1971, pp. 437-443.
19. F. Dau, M. Knechtel, Access policy design supported by FCA methods, in: F. Dau, S. Rudolph (Eds.), Proceedings of the 17th International Conference on Conceptual Structures (ICCS 2009), Vol. 5662 of Lecture Notes in Computer Science, 2009, pp. 141-154.
20. B. Ganter, and R. Wille Formal Concept Analysis - Mathematical Foundations 1999 Springer
21. EL+, in: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona, 2008.
22. F. Baader, R. Peñaloza, B. Suntisrivaraporn, Pinpointing in the description logic EL, in: Proceedings of the 30th German Conference on Artificial Intelligence (KI 2007), Vol. 4667 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Osnabrück, Germany, 2007, pp. 52-67.
23. R. Reiter A theory of diagnosis from first principles Artificial Intelligence 32 1 1987 57 95
24. M. Horridge, and S. Bechhofer The OWL API: A Java API for OWL ontologies Semantic Web 2 1 2011 11 21
25. S. Schenk, On the semantics of trust and caching in the Semantic Web, in: Proceedings of the Seventh International Semantic Web Conference (ISWC 2008), 2008, pp. 533-549.
26. F. Baader, C. Lutz, B. Suntisrivaraporn, CEL - a polynomial-time reasoner for life science ontologies, in: U. Furbach, N. Shankar (Eds.), Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006), Vol. 4130 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2006, pp. 287-291. (Pubitemid 44532681)
27. A. Gaag, A. Kohn, U. Lindemann, Function-based solution retrieval and semantic search in mechanical engineering, in: Proceedings of the 17th International Conference on Engineering Design (ICED 2009), 2009.
28. A. Gaag, Entwicklung einer Ontologie zur funktionsorientierten Lösungssuche in der Produktentwicklung, Ph.D. Thesis, Munich University of Technology, 2010.
29. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, and Y. Katz Pellet: a practical OWL-DL reasoner Journal of Web Semantics 5 2 2007 51 53 (Pubitemid 46856283)
30. F. Baader, S. Brandt, and C. Lutz Pushing the EL envelope Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) 2005 Morgan-Kaufmann Publishers Edinburgh, UK