Expressive reasoning with horn rules and fuzzy description logics

Knowledge and Information Systems

Volumn 25, Issue 1, 2010, Pages 105-136

  Mailis, Theofilos ^a   Stoilos, Giorgos ^b   Stamou, Giorgos ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Conjunctive queries; Existential entailment; Fuzzy CARIN; Fuzzy description logics; Horn rules

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; MEDICAL APPLICATIONS;

CONJUNCTIVE QUERIES; EXISTENTIAL ENTAILMENT; FUZZY CARIN; FUZZY DESCRIPTION LOGIC; HORN RULES;

FUZZY LOGIC;

EID: 77957569118     PISSN: 02191377     EISSN: 02193116     Source Type: Journal    
DOI: 10.1007/s10115-010-0304-1     Document Type: Article

References (43)

1. Antoniou G, Viegas DC, Grosof B, Horrocks I, Kifer M, Maluszynski J, Patel-Schneider PF (2006) Combining rules and ontologies, a survey.
2. Baader F, Brandt S, Lutz C (2005) Pushing the el envelope. In: Kaelbling LP, Saffiotti A (eds) IJCAI-05, Proceedings of the nineteenth international joint conference on artificial intelligence. Professional Book Center, Edinburgh, pp 364-369.
3. Baader, F, Calvanese, D, McGuinness, DL, Nardi, D, Patel-Schneider, PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge.
4. Baader F, Hollunder B (1991) A terminological knowledge representation system with complete inference algorithms. In: Boley H, Richter MM (eds) Processing declarative knowledge, international workshop PDK 91. Springer, pp 67-86.
5. Cao B, Badia A (2009) Exploiting maximal redundancy to optimize sql queries. Knowl Inf Syst 20: 187-220.
6. Carrasco RA, Vila MA, Galindo J (2003) Fsql: a flexible query language for data mining. Enterp Inf Syst IV: 68-74.
7. Chortaras A, Stamou G, Stafylopatis A (2007) Integrated query answering with weighted fuzzy rules. In: Mellouli K (eds) Symbolic and quantitative approaches to reasoning with uncertainty, 9th European Conference, ECSQARU. Springer, Tunisia, pp 767-778.
8. Donini FM, Lenzerini M, Nardi D, Schaerf A (1998) Al-log: integrating datalog and description logics. J Intell Inf Syst 10(3): 227-252.
9. Fagin R (1998) Fuzzy queries in multimedia database systems. In: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems. ACM, Seattle, United States, pp 1-10.
10. Franconi E, Tessaris S (2004) Rules and queries with ontologies: unified logical framework. In: Hans JO, Schaffert S (eds) Principles and practice of semantic web reasoning, second international workshop, PPSWR. Springer, France, pp 50-60.
11. Goble CA, Haul C, Bechhofer S (1996) Describing and classifying multimedia using the description logic grail. In: Sethi IK, Jain R (eds) Storage and retrieval for image and video databases (SPIE). San Diego, USA, pp 132-143.
12. Golbreich C, Bierlaire O, Dameron O, Gibaud B (2005) Use case: ontology with rules for identifying brain anatomical structures. In: W3C workshop on rule languages for interoperability. W3C, Washington.
13. Gong Z, Liu Q (2009) Improving keyword based web image search with visual feature distribution and term expansion. Knowl Inf Syst 21: 113-132.
14. Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th international conference on world wide web. ACM New York, Budapest, Hungary, pp 48-57.
15. Herman I (2007) Semantic web technical report. http://www. w3. org/2001/sw/.
16. Herman I, Hendler J (2004) Web ontology language (OWL). technical report. http://www. w3. org/2004/OWL/.
17. Horrocks I, Kutz O, Sattler U (2006) The even more irresistible sroiq. In: Doherty P, Mylopoulos J, Welty CA (eds) Proceedings, tenth international conference on principles of knowledge representation and reasoning. AAAI Press, Lake District of the United Kingdom, pp 57-67.
18. Horrocks I, Patel-Schneider PF (2004) A proposal for an owl rules language. In: Feldman SI, Uretsky M, Najork M, Wills CE (eds) Proceedings of the 13th international conference on world wide web, WWW. ACM, New York, pp 723-731.
19. Horrocks I, Patel-Schneider PF, van Harmelen F (2003) From shiq and rdf to owl: the making of a web ontology language. J Web Semant 1: 7-26.
20. Jing Y, Jeong D, Baik D-K (2008) Sparql graph pattern rewriting for owl-dl inference queries. Knowl Inf Syst 20: 243-262.
21. Kifer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J ACM 42(4): 741-843.
22. Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Upper Saddle River.
23. Krötzsch M, Rudolph S, Hitzler P (2008) Elp: tractable rules for owl 2. In: Sheth AP, Staab S, Dean M, Paolucci M, Maynard D, Finin TW, Thirunarayan K (eds) Proceedings of 7th international semanticWeb conference, ISWC. Springer, Germany, pp 649-664.
24. Levy AY, Rousset M-C (1998) Combining horn rules and description logics in carin. Artif Intell 104(1-2): 165-209.
25. Lukasiewicz T (2006) Fuzzy description logic programs under the answer set semantics for the semantic web. In: Eiter T, Franconi E, Hodgson R, Stephens S (eds) Rules and rule markup languages for the semantic web, second international conference, RuleML. IEEE Computer Society, Athens, pp 89-96.
26. Meghini C, Sebastiani F, Straccia U (2001) A model of multimedia information retrieval. J ACM 48(5): 909-970.
27. O'Dea D, Geoghegan S, Ekins C (2005) Dealing with geospatial information in the semantic web. In: Meyer T, Orgun MA (eds) AOW '05: proceedings of the 2005 Australasian ontology workshop. pp 69-73.
28. Ortiz M, Calvanese D, Eiter T (2006) Characterizing data complexity for conjunctive query answering in expressive description logics. In: Proceedings, the twenty-first national conference on artificial intelligence and the eighteenth innovative applications of artificial intelligence conference. Boston, Massachusetts, USA, pp 275-280.
29. Pan JZ, Stamou G, Stoilos G, Thomas E (2007) Expressive querying over fuzzy dl-lite ontologies. In: Calvanese D, Franconi E, Haarslev V, Lembo D, Motik B, Turhan A-Y, Tessaris S (eds) Proceedings of the 2007 international workshop on description logics (DL2007). Bozen-Bolzano, Italy, CEUR-WS. org.
30. Simou N, Mailis T, Stoilos G, Stamou G (2010) Optimization techniques for fuzzy description logics. In: Proceedings of the international workshop on description logics (DL-2010), pp 244-254.
31. Stoilos G, Stamou G, Tzouvaras V, Pan JZ, Horrocks I (2005) A fuzzy description logic for multimedia knowledge representation. In: Proceedings of the international workshop on multimedia and the semantic web.
32. Stoilos G, Stamou GB, Pan JZ, Tzouvaras V, Horrocks Ian (2007) Reasoning with very expressive fuzzy description logics. J Artif Intell Res (JAIR) 30: 273-320.
33. Stoilos G, Stamou GB, Tzouvaras V, Pan JZ, Horrocks I (2005) The fuzzy description logic f-shin. In: da Costa PCG, Laskey KB, Laskey KJ, Pool M (eds) International semantic web conference, ISWC 2005, workshop 3: uncertainty reasoning for the semantic web. Galway, Ireland, pp 67-76.
34. Stoilos G, Straccia U, Stamou GB, Pan JZ (2006) General concept inclusions in fuzzy description logics. In: Brewka G, Coradeschi S, Perini A, Traverso P (eds) ECAI 2006, 17th european conference on artificial intelligence. IOS Press, Riva del Garda, Italy, pp 457-461.
35. Straccia U (2001) Reasoning within fuzzy description logics. J Artif Intell Res (JAIR) 14: 137-166.
36. Straccia U (2005) Description logics with fuzzy concrete domains. In: Fahiem B, Tommi J (eds) 21st conference on uncertainty in artificial intelligence (UAI-05). AUAI Press, Edinburgh, pp 559-567.
37. Straccia U (2006) A fuzzy description logic for the semantic web. In: Sanchez E (eds) Fuzzy logic and the semantic web capturing intelligence, chap. 4. Elsevier, Amsterdam, pp 73-90.
38. Straccia U (2006) Fuzzy description logic programs. In: Proceedings of the 11th international conference on information processing and management of uncertainty in knowledge-based systems, (IPMU-06), pp 1818-1825.
39. Straccia U (2006) Uncertainty and description logic programs over lattices. In: Sanchez E (eds) Fuzzy logic and the semantic web, capturing intelligence, chap. 7. Elsevier, Amsterdam, pp 115-133.
40. Straccia U, Isti cnr, Moruzzi GV(2004) Transforming fuzzy description logics into classical description logics. In: In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), number 3229 in Lecture Notes in Computer Science. Springer Verlag, pp. 385-399.
41. Taha K, Elmasri R (2008) Bussengine: a business search engine. Knowl Inf Syst 23: 153-197.
42. Tsarkov D, Horrocks I, Patel-Schneider PF (2007) Optimizing terminological reasoning for expressive description logics. J Autom Reason 39(3): 277-316.
43. Venetis T, Stoilos G, Stamou GB, Kollias SD (2007) f-dlps: extending description logic programs with fuzzy sets and fuzzy logic. In: FUZZ-IEEE 2007, IEEE international conference on fuzzy systems. IEEE, London, pp 1-6.