Knowledge integration for description logics

7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005

Volumn , Issue , 2005, Pages

  Meyer, Thomas ^a   Lee, Kevin ^a   Booth, Richard ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ADDITIONAL STRUCTURES; DECISION PROCEDURE; DESCRIPTION LOGIC; FORMAL SEMANTICS; INCONSISTENCY MANAGEMENT; KNOWLEDGE BASIS; KNOWLEDGE INTEGRATION; REASONERS;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84888354809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. F. Baader and W. Nutt. Basic description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Camb ridge University Press, 2003.
2. F. Baader, M. Buchheit, and B. Hollander. Cardinality restrictions on concepts. Artificial Intelligence, 88:195-213, 1996.
3. F. Baader, R. Küsters, and F. Wolter. Extensions to description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
4. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency management and prioritized syntax-based entailment. In R. Bajcsy, editor, Proceedings of IJCAI-93, pages 640-645, 1993.
5. S. Benferhat, D. Dubois, J. Lang, H. Prade, A. Saffioti, and P. Smets. A general approach for inconsistency handling and merging information in prioritized knowledge bases. In Proceedings of KR' 98, pages 466-477, 1998.
6. S. Benferhat, S. Kaci, D. Le Berre, and M. Williams. Weakening conflicting information for iterated revision and knowledge integration. Artifici al Intelligence, 153:339-371, 2004.
7. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, 284(5):3443, 2001.
8. Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou. Generalizing the AGM postulates: Preliminary results and applications. In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning: NMR2004, 2004.
9. V. Haarslev and R. Möller. Racer system description. In R. Goŕe, A. Leitsch, and T. Nipkow, editors, IJCAR 2001, LNAI 2100, 2001.
10. S. O. Hansson. A Textbook of Belief Dynamics. Kluwer Academic Publishers, 1999.
11. I. Horrocks. The FaCT system. In H. De Swart, editor, Tableaux '98, LNAI 1397, pages 307-312, 1998.
12. Z. Hu ang, F. Van Harmelen, A. ten Teije, P. Groot, and C. Visser. Reasoning with inconsistent ontologies: Framework and prototype. 2005. URL: Http://wasp.cs.vu.nl/sekt/download/sekt341.pdf.
13. S. Konieczny and R. Pino-Ṕerez. Merging information under constraints: A qualitative framework. Journal of Logic and Computation, 12(5):773-808, 2002.
14. P. Liberatore and M. Schaerf. Relating belief revision and circumscription. In Proceedings of IJCAI-95, pages 1557-1563, 1995.
15. J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.
16. B. Nebel. Reasoning and Revision in Hybrid Representation Systems. LNAI 422. Springer-Verlag, 1990.
17. B. Nebel. How hard is it to revise a b elief base. In D. Dubois and H. Prade, editors, Belief Change, Handbook of Defeasible Reasoning and Uncertainty Management Systems, pages 77-145. Kluwer, 1998.
18. J. Quantz and V. Royer. A preference semantics for defaults in terminological logics. In Proceedings of KR' 92, pages 294-305, 1992.
19. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of descrip tion logic terminologies. In Proceedings of IJCAI 2003, pages 355-360. Morgan Kaufmann, 2003.
20. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions w ith complements. Artificial Intelligence, 48:1-26, 1991.