Chapter 7 Uncertainty and description logic programs over lattices

Capturing Intelligence

Volumn 1, Issue C, 2006, Pages 115-133

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

description logics; lattices; logic programming; ontologies

Indexed keywords

EID: 34249935230     PISSN: 15749576     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1574-9576(06)80009-2     Document Type: Article

References (71)

1. Alsaç G., and Baral C. Reasoning in description logics using declarative logic programming. Technical Report (1997), Department of Computer Science and Engineering, Arizona State University
2. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P.F. (Eds). TheDescription Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press, USA
3. Baeza-Yates R.A., and Ribeiro-Neto B. Modern Information Retrieval (1999), Addison-Wesley Longman Publishing Co., Inc.
4. Belnap N.D. A useful four-valued logic. In: Epstein G., and Dunn J.M. (Eds). Modern Uses of Multiple-Valued Logic (1977), Reidel 5-37
5. Boley H., Tabet S., and Wagner G. Design rationale of RuleML: a markup language for semantic web rules. Proceedings of the 1st Semantic Web Working Symposium (SWWS-01). Stanford (2001) 105-113
6. Bonatti P., and Tettamanzi A. Some complexity results on fuzzy description logics. In: Petrosino A., Di Gesù V., and Masulli F. (Eds). WILF 2003 International Workshop on Fuzzy Logic and Applications. Lecture Notes in Comput. Sci. vol. 2955 (2004), Springer-Verlag, Dordrecht
7. Bordogna G., Carrara P., and Pasi G. Query term weights as constraints in fuzzy information retrieval. 27. Inform. Process. Management (1991) 15-26
8. Damásio C.V., Medina J., and Aciego M.O. Sorted multi-adjoint logic programs: termination results and applications. Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04). Lecture Notes in Comput. Sci. vol. 3229 (2004), Springer-Verlag, Berlin 252-265
9. Damásio C.V., Medina J., and Aciego M.O. A tabulation proof procedure for residuated logic programming. Proceedings of the 6th European Conference on Artificial Intelligence (ECAI-04) (2004)
10. Dill S., Eiron N., Gibson D., Gruhl D., Guha R., Jhingran A., Kanungo T., Rajagopalan S., Tomkins A., Tomlin J.A., and Zien J.Y. SemTag: and Seeker: bootstrapping the semantic web via automated sematic annotation. The Twelfth International World Wide Web Conference (WWW-03). Budapest, Hungary (2003)
11. Donini F.M., Lenzerini M., Nardi D., Nutt W., and Schaerf A. An epistemic operator for description logics. Artificial Intelligence 100 1-2 (1998) 225-274
12. Donini F.M., Lenzerini M., Nardi D., and Schaerf A. AL-log: integrating datalog and description logics. J. Intelligent Inform. Systems 10 3 (1998) 227-252
13. Dubois D., Lang J., and Prade H. Towards possibilistic logic programming. Proc. of the 8th Int. Conf. on Logic Programming (ICLP-91) (1991), MIT Press 581-595
14. Eiter T., Lukasiewicz T., Schindlauer R., and Tompits H. Combining answer set programming with description logics for the semantic web. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-04) (2004), AAAI Press
15. Eiter T., Lukasiewicz T., Schindlauer R., and Tompits H. Well-founded semantics for description logic programs in the semantic web. Proceedings RuleML 2004 Workshop, International Semantic Web Conference. Lecture Notes in Comput. Sci. vol. 3323 (2004), Springer-Verlag 81-97
16. Franconi E., and Tessaris S. Rules and queries with ontologies: a unified logical framework. Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR-04) (2004)
17. Gevers Th., and Smeulders A.W.M. Content-based image retrieval: an overview. In: Medioni G., and Kang S.B. (Eds). Emerging Topics in Computer Vision. Prentice-Hall (2004)
18. Giugno T.R., and Lukasiewicz T. P-SHOQ(D): a probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02). Lecture Notes in Artificial Intelligence vol. 2424 (2002), Springer-Verlag
19. Grosof B.N., Horrocks I., Volz R., and Decker S. Description logic programs: combining logic programs with description logic. Proceedings of the Twelfth International Conference on World Wide Web (2003), ACM Press 48-57
20. Heinsohn J. Probabilistic description logics. In: Lopez de Mantara R., and Pool D. (Eds). Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (1994) 311-318
21. Heymans S., and Vermeir D. Integrating description logics and answer set programming. Principles and Practice of Semantic Web Reasoning (PPSWR-03). Mumbai, India, Lecture Notes in Comput. Sci. vol. 2901 (2003), Springer-Verlag 146-159
22. FH. Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04) (2004)
23. Hollunder B. An alternative proof method for possibilistic logic and its application to terminological logics. 10th Annual Conference on Uncertainty in Artificial Intelligence. Seattle, Washington, Morgan Kaufmann (1994) 327-335
24. Horrocks I., and Patel-Schneider P.F. Three theses of representation in the semantic web. Proceedings of the 12th International Conference on World Wide Web (2003), ACM Press 39-47
25. Horrocks I., and Patel-Schneider P.F. A proposal for an OWL rules language. Proc. of the Thirteenth International World Wide Web Conference (WWW-04) (2004), ACM
26. Horrocks I., Patel-Schneider P.F., and van Harmelen F. From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semantics 1 1 (2003) 7-26
27. Hustadt U., Motik B., and Sattler U. Reasoning in description logics with a concrete domain in the framework of resolution. Proceedings of the 6th European Conference on Artificial Intelligence (ECAI-04) (2004)
28. Jäger M. Probabilistic reasoning in terminological logics. Proceedings of KR-94, 5-th International Conference on Principles of Knowledge Representation and Reasoning. Bonn, FRG (1994) 305-316
29. Kerre E.E., Zenner R.B., and De Caluwe R.M. The use of fuzzy set theory in information retrieval and databases: a survey. J. Amer. Soc. Inform. Sci. 37 5 (1986) 341-345
30. Kifer M., Lausen G., and Wu J. Logical foundations of object-oriented and frame-based languages. J. ACM 42 4 (1995) 741-843
31. Kifer M., and Subrahmanian V.S. Theory of generalized annotated logic programming and its applications. J. Logic Programming 12 (1992) 335-367
32. Koller D., Levy A., and Pfeffer A. P-CLASSIC: a tractable probabilistic description logic. Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97) (1997) 390-397
33. Kraft D.H., and Buel D. Fuzzy sets and generalised Boolean retrieval systems. Int. J. Man-Machine Studies 19 (1983) 45-56
34. Lakshmanan L.V.S., and Shiri N. A parametric approach to deductive databases with uncertainty. 13. IEEE Trans. on Knowledge and Data Engineering (2001) 554-570 4
35. Levy A.Y., and Rousset M.-C. Combining horn rules and description logics in CARIN. Artificial Intelligence 104 (1998) 165-209
36. Lloyd J.W. Foundations of Logic Programming (1987), Springer
37. Lopatenko A., Franconi E., Kuper G., and Serafini L. A robust logical and computational characterisation of peer-to-peer database systems. Proceedings of the VLDB International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P-03) (2004)
38. Loyer Y., and Straccia U. The approximate well-founded semantics for logic programs with uncertainty. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS-2003). Bratislava, Slovak Republic. Lecture Notes in Comput. Sci. vol. 2747 (2003), Springer-Verlag, Heidelberg 541-550
39. Lukasiewicz T. Probabilistic logic programming. Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98). Brighton (England), August (1998) 388-392
40. Lutz C., Wolter F., and Zakharyaschev M. A tableau algorithm for reasoning about concepts and similarity. Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003. Rome, Italy. Lecture Notes in Artificial Intelligence vol. 2796 (2003), Springer
41. Mateis C. Quantitative disjunctive logic programming: semantics and computation. AI Communications 13 (2000) 225-248
42. Meghini C., Sebastiani F., and Straccia U. A model of multimedia information retrieval. J. ACM 48 5 (2001) 909-970
43. - description logic to disjunctive datalog programs. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-04) (2004), AAAI Press
44. Motik B., Sattler U., and Studer R. Query answering for OWL-DL with rules. Proceedings of the International Semantic Web Conference. Lecture Notes in Comput. Sci. vol. 3298 (2004), Springer-Verlag 549-563
45. Motik B., Volz R., and Maedche A. Optimizing query answering in description logics using disjunctive deductive databases. 10th International Workshop on Knowledge Representation meets Databases (KRDB-03) (2003) 39-50
46. Nebel B. Reasoning and Revision in Hybrid Representation Systems (1990), Springer
47. Negoita C.V., and Flondor P. On fuzziness in information retrieval. Int. J. Man-Machine Studies 8 (1976) 711-716
48. Ng R., and Subrahmanian V.S. Probabilistic logic programming. Inform. and Comput. 101 2 (1993) 150-201
49. Deliverable D2.5.1. Pan J.Z., et al. Specification of coordination of rule and ontology languages. Technical Report, Knowledgeweb Network of Excellence, EU-IST-2004-507482 (2004)
50. Patel-Schneider P.F. A four-valued semantics for terminological logics. Artificial Intelligence 38 (1989) 319-351
51. Roth D. On the hardness of approximate reasoning. Artificial Intelligence J. 82 (1996) 273-302
52. Sánchez D., and Tettamanzi G.B. Generalizing quantification in fuzzy description logics. Proceedings 8th Fuzzy Days in Dortmund (2004)
53. Schmidt-Schauß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 (1991) 1-26
54. Sebastiani F. A probabilistic terminological logic for modelling information retrieval. Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval. Dublin, IRL (1994), Springer-Verlag, Heidelberg 122-130
55. Straccia U. A sequent calculus for reasoning in four-valued description logics. Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97). Pont-à-Mousson, France. Lecture Notes in Artificial Intelligence vol. 1227 (1997) 343-357
56. Straccia U. A fuzzy description logic. Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI-98). Madison, USA (1998) 594-599
57. Straccia U. A framework for the retrieval of multimedia objects based on four-valued fuzzy description logics. In: Crestani F., and Pasi G. (Eds). Soft Computing in Information Retrieval: Techniques and Applications (2000), Physica-Verlag (Springer-Verlag), Heidelberg 332-357
58. Straccia U. Reasoning within fuzzy description logics. J. Artificial Intelligence Research 14 (2001) 137-166
59. Straccia U. Towards a fuzzy description logic for the semantic web. Technical Report 2004-TR-64 (2004), Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Heidelberg
60. Straccia U. Transforming fuzzy description logics into classical description logics. Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04). Lisbon, Portugal. Lecture Notes in Comput. Sci. vol. 3229 (2004), Springer-Verlag, Pisa, Italy 385-399
61. Straccia U. Uncertainty in description logic programs. Technical Report ISTI-2004-TR-01 (2004), Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche
62. Straccia U. Uncertainty in description logics: a lattice-based approach. Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04) (2004) 251-258
63. Straccia U. Fuzzy description logics with concrete domains. Technical Report 2005-TR-03 (2005), Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
64. Straccia U. Uncertainty management in logic programming: simple and effective top-down query answering. 9th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-05). Melbourne, Australia. Lecture Notes in Comput. Sci. (2005), Springer-Verlag, Pisa, Italy
65. Swift T. Deduction in ontologies via ASP. Proceedings of the 7th International Conference in Logic Programming and Nonmonotonic Reasoning (LPNMR-04). Fort Lauderdale, FL, USA. Lecture Notes in Artificial Intelligence vol. 2923 (2004), Springer-Verlag 275-288
66. Tarski A. A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math. 5 (1995) 285-309
67. Tresp C., and Molitor R. A description logic for vague knowledge. Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98). Brighton (England), August (1998)
68. van Belleghem K., Denecker M., and de Schreye D. A strong correspondence between description logics and open logic programs. Proc. of the 13th Int. Conf. on Logic Programming (ICLP-97) (1997), MIT Press 346-360
69. Vojtáš P. Fuzzy logic programming. Fuzzy Sets and Systems 124 (2004) 361-370
70. Yang G., Kifer M., and Zhao C. Flora-2: a rule-based knowledge representation and inference infrastructure for the semantic web. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-03). Catania, Sicily, Italy. Lecture Notes in Comput. Sci. vol. 2888 (2003), Springer-Verlag 671-688
71. Yen J. Generalizing term subsumption languages to fuzzy logic. Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91). Sydney, Australia (1991) 472-477