Forgetting concepts in DL-lite

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

Volumn 5021 LNCS, Issue , 2008, Pages 245-257

  Wang, Zhe ^a   Wang, Kewen ^a   Topor, Rodney ^a   Pan, Jeff Z ^b  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA DESCRIPTION; EVOLUTIONARY ALGORITHMS; FUZZY LOGIC; INFORMATION THEORY; LEARNING SYSTEMS; ONTOLOGY; POLYNOMIAL APPROXIMATION; SEMANTICS; STANDARDS; WORLD WIDE WEB;

CLASSICAL LOGICS; DESCRIPTION LOGICS (DL); EUROPEAN; GENERAL (CO); HEIDELBERG (CO); KNOWLEDGE BASES (KB); POLYNOMIAL-TIME; SEMANTIC WEB APPLICATIONS; SPRINGER (CO); STANDARD-DEFINITION (SD);

SEMANTIC WEB;

EID: 45449102448     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68234-9_20     Document Type: Conference Paper

References (14)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
2. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 602-607 (2005)
3. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260-270 (2006)
4. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning 39(3), 385-429 (2007)
5. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in managing rules and ontologies. In: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006), pp. 411-419 (2006)
6. Eiter, T., Wang, K.: Forgetting and conflict resolving in disjunctive logic programming. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), pp. 238-243 (2006)
7. Ghilardi, S., Lutz, C., Wolter, F.: Did i damage my ontology? a case for conservative extensions in description logics. In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 187-197 (2006)
8. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proceedings of the 21th National Conference on Artificial Intelligence (AAAI 2006) (2006)
9. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the approximation of instance level update and erasure in description logics. In: Proceedings of the 22th National Conference on Artificial Intelligence (AAAI 2007), pp. 403-408 (2007)
10. Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 298-303 (2007)
11. Cuenca Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proceedings of the 16th International World Wide Web Conference (WWW 2007), pp. 717-726 (2007)
12. Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res (JAIR) 18, 391-443 (2003)
13. Lin, F., Reiter, R.: Forget it. In: Proceedings of the AAAI Fall Symposium on Relevance, New Orleans (LA), pp. 154-159 (1994)
14. Wang, K., Sattar, A., Su, K.: A theory of forgetting in logic programming. In: Proceedings of the 20th National Conference on Artificial Intelligence, pp. 682-687. AAAI Press, Menlo Park (2005)