Feasibility of optimised disjunctive reasoning for approximate matching

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

Volumn 1747, Issue , 1999, Pages 328-339

  Horrocks, Ian ^a   Padgham, Lin ^b   Thomson, Laura ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

APPROXIMATE MATCHES; APPROXIMATE MATCHING; CLASSIFICATION REASONING; COMPUTATIONAL COSTS; CONCEPT-BASED; DESCRIPTION LOGIC; DESCRIPTION LOGIC SYSTEMS; REAL APPLICATIONS;

DATA DESCRIPTION;

EID: 84957655034     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46695-9_28     Document Type: Conference Paper

References (20)

1. F. Baader, E. Franconi, B. HoUunder, B. Nebel, and H.-J. Frofitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-92), pages 270-281, 1992.
2. F. Baader and B. HoUunder. KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8-14,1991.
3. Franz Baader and Bemhard HoUunder. How to prefer more specific defaults in terminological default logic. In Proc. of the 13th Int. Joint Conf on Artificial Intelligence (IJCAI-93), pages 669-674, 1993.
4. A. B. Baker. Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD thesis, University of Oregon, 1995.
5. J. I. Berman, H. H. Moore IV, and J. R. Wright. CLASSIC and PROSE stories: Enabling technologies for knowledge based systems. AT&T Technical Journal, pages 69-78, January/February 1994.
6. P. Coupey and C. Fouquere. Extending conceptual definitions with default knowledge. Computational Intelligence, 13(2):258-299, 1997.
7. M. Davis, G. Logemann, and D. Loveland. A machine program for theorem proving. Communications of the ACM, 5:394-397,1962.
8. G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Proc. of the 5th Int. Conf on the Principles of Knowledge Representation and Reasoning (KR-96), pages 316-327,1996.
9. F. Giunchiglla and R. Sebastian. A SAT-based decision procedure for ACC. In Proc. of the 5th Int. Conf on the Principles of Knowledge Representation and Reasoning (KR-96), pages 304-314, 1996.
10. J. Heinsohn, D. Kudenko, B. Nebel, and H.J. Profitlich. An empirical analysis of terminological representation systems' In Proc. of the 10th Nat. Conf. on Artificial Intelligence (AAAI-92), pages 676-773,1992.
11. B. HoUunder. Algorithmic Foundations of Terminological Knowledge Representatin Systems. PhD thesis, Universitat des Saarlandes, 1994.
12. B. HoUunder and W. Nutt. Subsumption algorithms for concept languages. In Proc. of the 9th European Conf on Artificial Intelligence (ECAI-90), pages 348-353, 1990.
13. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis. University of Manchester, 1997.
14. I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of the 6th Int. Conf on the Principles of Knowledge Representation and Reasoning (KR-98), pages 636-647,1998.
15. U. Hustadt and R. A. Schmidt. On evaluating decision procedures for modal logic. In Proc. of the 15th Int. Joint Conf. on Artificial Intelligence (IJCAI-97), volume 1, pages 202-207, 1997.
16. Lin Padgham. Defeasible inheritance: A lattice based approach. Computers and Mathematics with Applications, 23(6-9):527-541,1992. On Semantic Nets.
17. Lin Padgham and Bemhard Nebel. Combining classification and non-monotonic inheritance reasoning: A first step. In Proc. of the 7th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-93), pages 132-141, 1993. LNAI 689.
18. Lin Padgham and Tingting Zhang. A terminological logic with defaults: A definition and an application. In Proc. of the 13th Int. Joint Conf on Artificial Intelligence (IJCAI-93), volume 2, pages 662-668,1993.
19. E. Rosch. Cognitive representations of semantic categories. Journal of Experimental Psychology, 104,1975.
20. R. M. Smullyan. First-Order Logic. Springer-Verlag, 1968.