Knowledge integration for description logics

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 645-650

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

^a CSIRO   (Australia)

^b MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DECISION MAKING; FORMAL LOGIC; SEMANTICS;

DESCRIPTION LOGIC; FORMAL SEMANTICS; HIGH-LEVEL DECISION PROCEDURES; KNOWLEDGE INTEGRATION;

KNOWLEDGE BASED SYSTEMS;

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

References (17)

1. Baader, F., and Nutt, W. 2003. Basic description logics. In Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds., The Description Logic Handbook.
2. Baader, F.; Buchheit, M.; and Hollander, B. 1996. Cardinality restrictions on concepts. Artificial Intelligence 88:195-213.
3. Baader, F.; Küsters, R.; and Wolter, F. 2003. Extensions to description logics. In Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds., The Description Logic Handbook.
4. Benferhat, S.; Cayrol, C.; Dubois, D.; Lang, J.; and Prade, H. 1993. Inconsistency management and prioritized syntax-based entailment. In Bajcsy, R., ed., Proceedings of IJCAI-93, 640-645.
5. Benferhat, S.; Dubois, D.; Lang, J.; Prade, H.; Saffioti, A.; and Smets, P. 1998. A general approach for inconsistency handling and merging information in prioritized knowledge bases. In Proceedings of KR'98, 466-477.
6. Benferhat, S.; Kaci, S.; Le Berre, D.; and Williams, M. 2004. Weakening conflicting information for iterated revision and knowledge integration. Artificial Intelligence 153:339-371.
7. Berners-Lee, T.; Hendler, J.; and Lassila, O. 2001. The semantic web. Scientific American 284(5):3443.
8. Haarslev, V., and Möller, R. 2001. Racer system description. In Goré, R.; Leitsch, A.; and Nipkow, T., eds., IJCAR 2001.LNAI 2100.
9. Hansson, S. O. 1999. A Textbook of Belief Dynamics.
10. Horrocks, I. 1998. The FaCT system. In de Swart, H., ed., Tableaux '98, LNAI 1397, 307-312.
11. Huang, Z.; van Harmelen, F.; ten Teije, A.; Groot, P.; and Visser, C. 2005. Reasoning with inconsistent ontologies: Framework and prototype. URL: http://wasp.cs.vu.nl/sekt/download/sekt341.pdf.
12. Liberatore, P., and Schaerf, M. 1995. Relating belief revision and circumscription. In Proceedings of IJCAI-95, 1557-1563.
13. Nebel, B. 1990. Reasoning and Revision in Hybrid Representation Systems. LNAI 422. Springer-Verlag.
14. Nebel, B. 1998. How hard is it to revise a belief base. In Dubois, D., and Prade, H., eds., Belief Change, Handbook of Defeasible Reasoning and Uncertainty Management Systems. Kluwer. 77-145.
15. Quantz, J., and Royer, V. 1992. A preference semantics for defaults in terminological logics. In Proceedings of KR'92, 294-305.
16. Schlobach, S., and Cornet, R. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI 2003, 355-360.
17. Schmidt-Schauß, M., and Smolka, G. 1991. Attributive concept descriptions with complements. Artificial Intelligence 48:1-26.