A unified framework for non-standard reasoning services in description logics

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 479-484

  Colucci, Simona ^a   Di Noia, Tommaso ^a   Di Sciascio, Eugenio ^a   Donini, Francesco M ^b   Ragone, Azzurra ^a  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TUSCIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; DATA DESCRIPTION; FORMAL LANGUAGES;

DESCRIPTION LOGIC; FIXPOINTS; INTERPOLANTS; SOLUTION CONCEPTS; SPECIAL SECOND ORDERS; STANDARD PROBLEMS; STANDARD REASONING; STANDARD SERVICES; UNIFIED FRAMEWORK;

CALCULATIONS;

EID: 77956016731     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-479     Document Type: Conference Paper

References (29)

1. F. Baader, 'Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles', in IJCAI 2003, pp. 319-324, (2003).
2. F. Baader, R. Küsters, and R. Molitor, 'Rewriting concepts using terminologies', in KR 2000, pp. 297-308, (2000).
3. F. Baader and P. Narendran, 'Unification of concept terms in description logics', J. of Symbolic Computation, 31, 277-305, (2001).
4. F. Baader and B. Sertkaya, 'Usability issues in description logic knowledge base completion', in ICFCA-2009, pp. 1-21, (2009).
5. F. Baader, B. Sertkaya, and A.-Y. Turhan, 'Computing the least common subsumer w.r.t. a background terminology', J. of Applied Logic, 5(3), 392-420, (2007).
6. M. Bienvenu, 'Complexity of abduction in the EL family of lightweight description logics', in KR 2008, pp. 220-230, (2008).
7. A. Borgida, T. Walsh, and H. Hirsh, 'Towards measuring similarity in description logics', in DL 2005, (2005).
8. J. R. Büchi, 'On a decision method in restricted second order arithmetic', in Proc. Internat. Congr. on Logic, Methodology and Philosophy of Science, eds., E. Nagel et al., pp. 1-11. Stanford University Press, (1960).
9. W. Cohen, A. Borgida, and H. Hirsh, 'Computing least common subsumers in description logics', in AAAI'92, eds., P. Rosenbloom and P. Szolovits, pp. 754-761, (1992). AAAI Press.
10. T. Di Noia, E. Di Sciascio, and F. M. Donini, 'Semantic matchmaking as non-monotonic reasoning: A description logic approach', J. of Artif. Intell. Res., 29, 269-307, (2007).
11. T. Di Noia, E. Di Sciascio, F. M. Donini, and M. Mongiello, 'Abductive matchmaking using description logics', in IJCAI 2003, pp. 337-342, (2003).
12. F. M. Donini, S. Colucci, T. Di Noia, and E. Di Sciascio, 'A tableauxbased method for computing least common subsumers for expressive description logics', in IJCAI 2009, pp. 739-745, (2009).
13. C. Elsenbroich, O. Kutz, and U. Sattler, 'A case for abductive reasoning over ontologies', in OWLED Workshop, (2006).
14. P. Gardenfors, Knowledge in Flux, Mit Press, Bradford Book, 1988.
15. L. Henkin, 'Completeness in the theory of types', J. of Symbolic Logic, 15(2), 81-91, (1950).
16. I. Horrocks, U. Sattler, and S. Tobies, 'Practical reasoning for very expressive description logics', Logic J. of the IGPL, 8(3), (2000).
17. B. Konev, D.Walther, and F.Wolter, 'Forgetting and uniform interpolation in large-scale description logic terminologies', in IJCAI 2009, pp. 830-835, (2009).
18. F. Ĺecúe, A. Delteil, and A. Ĺeger, 'Applying abduction in semantic web service composition', in ICWS 2007, pp. 94-101, (2007).
19. D. L. McGuinness and A. Borgida, 'Explaining subsumption in description logics', in IJCAI'95, pp. 816-821, (1995).
20. I. S. E. Peraldi, A. Kaya, and R. Möller, 'Formalizing multimedia interpretation based on abduction over description logic aboxes', in DL 2009, (2009).
21. M. O. Rabin, 'Decidability of second-order theories and automata on infinite trees', Trans. of the Am. Math. Society, 141, 1-35, (1969).
22. A. Ragone, 'OWL-DL as a power tool to model negotiation mechanisms with incomplete information', in ISWC/ASWC 2007, pp. 941- 945, (2007).
23. A. Ragone, T. Di Noia, F. M. Donini, E. Di Sciascio, and M. Wellman, 'Weighted description logics preference formulas for multiattribute negotiation', in SUM'09, LNAI, Springer-Verlag, (2009).
24. S. Schlobach, 'Explaining subsumption by optimal interpolation', in JELIA 2004, pp. 413-425, (2004).
25. I. Seylan, E. Franconi, and J. de Bruijn, 'Effective query rewriting with ontologies over dboxes', in IJCAI 2009, pp. 923-925, (2009).
26. G. Teege, 'Making the difference: A subtraction operation for description logics', in KR'94, pp. 540-550, (1994).
27. S. Tobies, Complexity Results and Practical Algorithms for Logics in Knowledge Representation, Ph.D. dissertation, RWTH Aachen, 2001.
28. J. Väänänen, 'Second-order logic and foundations of mathematics', The Bulletin of Symbolic Logic, 7(4), 504-520, (2001).
29. F.Wolter and M. Zakharyaschev, 'Undecidability of the unification and admissibility problems for modal and description logics', ACM Trans. on Computational Logic, 9, (2008).