Reasoning with qualified cardinality restrictions in fuzzy description logics

IEEE International Conference on Fuzzy Systems

Volumn , Issue , 2008, Pages 637-644

  Stoilos, Giorgos ^a   Stamou, Giorgos ^a   Kollias, Stefanos ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS NTUA   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; FUZZY LOGIC; FUZZY SYSTEMS; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTIC WEB; SEMANTICS;

CARDINALITY; DESCRIPTION LOGICS; FUZZY DESCRIPTION LOGICS; LOGICAL FORMALISMS; NUMBER RESTRICTIONS; ONTOLOGY LANGUAGE OWLS; REPRESENTATION FORMALISMS; STRUCTURED KNOWLEDGES; TABLEAUX ALGORITHMS;

DATA DESCRIPTION;

EID: 55249085404     PISSN: 10987584     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FUZZY.2008.4630436     Document Type: Conference Paper

References (26)

1. Tim Berners-Lee, James Hendler, and Ora Lassila. The semantic web. Scientific American, 2001.
2. Sean Bechhofer, Frank van Harmelen, James Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein eds. OWL web ontology language reference. Technical report, Feb 2004.
3. F. Baader, D. McGuinness, D. Nardi, and P.F. Patel-Schneider. The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2002.
4. C. Golbreich, O. Dameron, B. Gibaud, and A. Burgun. Web ontology language requirements w.r.t. expressiveness of taxonomy and axioms in medicine. In 2nd International Semantics Web Conference (ISWC 03), pages 180-194, 2003.
5. B. Neumann and R. Möller. On scene interpretation with description logics. In H.I. Christensen and H.-H. Nagel, editors, Cognitive Vision Systems: Samping the Spectrum of Approaches, number 3948 in LNCS, pages 247-278. Springer, 2006.
6. R. Moeller, B. Neumann, and M. Wessel. Towards computer vision with description logics-some recent progress. In Workshop on Integration of Speech and Image Understanding, pages 101-115, 1999.
7. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati. Description logic framework for information integration. In Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'98), pages 2-13, 1998.
8. Stephan Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, Rheinisch-Westfälischen Technischen Hochschule Aachen, 2001. URL http://lat.inf.tudresden.de/research/ phd/Tobies-PhD-2001.pdf.
9. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137-166, 2001.
10. S. Hölldobler, T. D. Khang, and H.-P. Störr. A fuzzy description logic with hedges as concept modifiers. In Proceedings In-Tech/VJFuzzy'2002, pages 25-34, 2002.
11. Daniel Sanchez and Andrea G.B. Tettamanzi. Fuzzy quantification in fuzzy description logics. In Elie Sanchez, editor, Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, 2006.
12. Giorgos Stoilos, Giorgos Stamou, Vassilis Tzouvaras, Jeff Z. Pan, and Ian Horrocks. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research, 30(5):273-320, 2007.
13. Giorgos Stoilos, Nikos Simou, Giorgos Stamou, and Stefanos Kollias. Uncertainty and the semantic web. IEEE Intelligent Systems, 21(5):84-87, 2006.
14. U. Straccia. Description logics with fuzzy concrete domains. In 21st Conf. on Uncertainty in Artificial Intelligence (UAI-05), Edinburgh, 2005.
15. Fernando Bobillo and Umberto Straccia. A fuzzy description logic with product t-norm. In Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE-07), London, 2007.
16. G. Stoilos, G. Stamou, V. Tzouvaras, J.Z. Pan, and I. Horrocks. The fuzzy description logic f-SHIN. In Proc. of the International Workshop on Uncertainty Reasoning for the Semantic Web, pages 67-76, 2005.
17. Yanhui Li, Baowen Xu, Jianjiang Lu, and Dazhou Kang. Reasoning technique for extended fuzzy ALCQ. In ICCSA (2), pages 1179-1188, 2006.
18. G. Stoilos, U. Straccia, G. Stamou, and J.Z. Pan. General concept inclusions in fuzzy description logics. In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 06), pages 457-461. IOS Press, 2006.
19. U. Straccia. Towards a fuzzy description logic for the semantic web. In Proceedings of the 2nd European Semantic Web Conference, 2005.
20. G. Stoilos, G. Stamou, and J.Z. Pan. Handling imprecise knowledge with fuzzy description logics. In Proceedings of the International Workshop on Description Logics (DL 2006), Lake District, UK, 2006.
21. P. Hajek. Making fuzzy description logic more general. Fuzzy Sets and Systems, 154(1):1-15, 2005.
22. B. Hollunder and F. Baader. Qualified number restrictions in concept languages. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 335-346. Morgan Kaufman, 1991.
23. Bernhard Hollunder, Werner Nutt, and Manfred Schmidt-Schaus. Subsumption algorithms for concept description languages. In European Conference on Artificial Intelligence, pages 348-353, 1990.
24. I. Horrocks, U. Sattler, and S. Tobies. Reasoning with Individuals for the Description Logic SHIQ. In David MacAllester, editor, CADE-2000, number 1831 in LNAI, pages 482-496. Springer-Verlag, 2000.
25. Yanhui Li, Baowen Xu, Jianjiang Lu, and Dazhou Kang. Discrete tableau algorithms for fshi. In Proceedings of the International Workshop on Description Logics (DL 2006), Lake District, UK, 2006.
26. Fernando Bobillo, Miguel Delgado, and Juan Gómez-Romero. A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In Proc. of the 2nd International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 06), Athens, Georgia, 2006.