Elimination of redundancy in ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6643 LNCS, Issue PART 1, 2011, Pages 260-274

  Grimm, Stephan ^a   Wissmann, Jens ^a  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EXTRACTION TECHNIQUES; HITTING SETS; ONTOLOGY ENGINEERING; TREE ALGORITHMS;

REDUNDANCY; SEMANTICS; TREES (MATHEMATICS); USER INTERFACES; WORLD WIDE WEB;

ONTOLOGY;

EID: 79960068240     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21034-1_18     Document Type: Conference Paper

References (14)

1. Alani, H., Harris, S., O'Neil, B.: Winnowing Ontologies Based on Application Use. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 185-199. Springer, Heidelberg (2006) (Pubitemid 44071159)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2007)
3. Bienvenu, M.: Prime Implicate Normal Form for ALC Concepts. In: AAAI 2008: Proc. of the 23rd Conference on Artif. Intelligence, pp. 412-417. AAAI Press, Menlo Park (2008)
4. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Extracting Modules from Ontologies: A Logic-based Approach. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 159-186. Springer, Heidelberg (2009)
5. Furbach, U., Obermaier, C.: Knowledge Compilation for Description Logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790. Springer, Heidelberg (2007)
6. Gutierrez, C., Hurtado, C., Mendelzon, A.O.: Foundations of Semantic Web Databases. In: PODS 2004: Proceedings of the Twenty-third ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 95-106. ACM, New York (2004)
7. Horridge, M., Parsia, B., Sattler, U.: Laconic and Precise Justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323-338. Springer, Heidelberg (2008)
8. Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57-67. AAAI Press, Menlo Park (2006)
9. Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding All Justifications of OWL DL Entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudŕe-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267-280. Springer, Heidelberg (2007)
10. Liberatore, P.: Redundancy in Logic I: CNF Propositional Formulae. Artif. Intell. 163(2), 203-232 (2005) (Pubitemid 40304391)
11. W3C, O.W.L.: Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, October 27 (2009), http://www.w3.org/TR/owl2- overview/
12. Reiter, R.: A Theory of Diagnosis from first Principles. Artif. Intell. 32(1), 57-95(1987)
13. Sirin, E., Cuenca Grau, B., Parsia, B.: From Wine to Water: Optimizing Description Logic Reasoning for Nominals. In: KR, pp. 90-99. AAAI Press, Menlo Park(2006)
14. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5(2), 51-53 (2007) (Pubitemid 46856283)