Forgetting in managing rules and ontologies

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06

Volumn , Issue , 2006, Pages 411-419

  Eiter, Thomas ^a   Ianni, Giovambattista ^a   Schindlauer, Roman ^a   Tompits, Hans ^a   Wang, Kewen ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; ONTOLOGY;

REDUNDANCY REMOVAL; SEMANTIC INFORMATION;

SEMANTIC WEB;

EID: 42549151011     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2006.83     Document Type: Conference Paper

References (22)

1. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, 284(5):34-43, 2001.
2. W. Chen, M. Kifer, and D. Warren. HILOG: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming, 15(3): 187-230, 1993.
3. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In Proc. IJCAI 2005, pages 90-96, 2005.
4. T. Eiter and K. Wang. Forgetting and Conflict Resolving in Disjunctive Logic Programming. In Proc. AAAI 2006, pages 238-243, 2006.
5. W. Faber, N. Leone, and G. Pfeifer. Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In Proc. JELIA 2004, pages 200-212, 2004.
6. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
7. S. Ghilardi, C. Lutz, and F. Wolter. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. In Proc. KR 2006, pages 187-197, 2006.
8. B. Grau, B. Parsia, and E. Sirin. Combining OWL Ontologies using E-Connections. Journal of Web Semantics, 4(1):40-59, 2005.
9. B. C. Grau, I. Horrocks, O. Kutz, and U. Sattler. Will my Ontologies Fit Together? In Proc. DL 2006, 2006.
10. B. C. Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and Web Ontologies. In Proc. KR 2006, pages 198-209, 2006.
11. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logics. In Proc. WWW2003, pages 48-57, 2003.
12. Y. Kalfoglou and M. Schorlemmer. Ontology Mapping: the State of the Art. The Knowledge Engineering Review, 18:1-31, 2003.
13. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741-843, 1995.
14. J. Lang, P. Liberatore, and P. Marquis. Propositional Independence: Formula-Variable Independence and Forgetting. Journal of Artificial Intelligence Research, 18:391-443, 2003.
15. F. Lin and R. Reiter. Forget it! In Proc. AAAI Fall Symposium on Relevance, pages 154-159, 1994.
16. B. Motik, R. Volz, and A. Maedche. Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. In Proc. KRDB 2003, 2003.
17. N. Noy. Semantic Integration: A Survey of Ontology-Based Approaches. SIGMOD Record, 33(4):65-70, 2004.
18. N. Noy and H. Stuckenschmidt. Ontology Alignment: An Annotated Bibliography. In Semantic Interoperability and Integration, 2005.
19. K. A. Ross. On Negation in HiLog. Journal of Logic Programming, 18(1):27-53, 1994.
20. J. Seidenberg and A. Rector. Web Ontology Segmentation: Analysis, Classification and Use. In Proc. WWW 2006, pages 13-22, 2006.
21. T. Swift. Deduction in Ontologies via ASP. In Proc. LPNMR-7, LNCS 2923, pages 275-288, 2004.
22. K. Wang, A. Sattar, and K. Su. A Theory of Forgetting in Logic Programming. In Proc. AAAI 2005, pages 682-687, 2005.