Description logics over lattices with multi-valued ontologies

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 768-773

  Borgwardt, Stefan ^a   Peñaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; MULTI-VALUED; MULTI-VALUED SEMANTICS; REASONING METHODS;

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; SEMANTICS; UNCERTAINTY ANALYSIS;

DATA DESCRIPTION;

EID: 84881052259     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-135     Document Type: Conference Paper

References (17)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. CUP, 2003.
2. F. Baader, J. Hladik, and R. Peñaloza. Automata can show PSPACE results for description logics. Inf. and Comput., 206(9-10):1045-1056, 2008.
3. F. Bobillo and U. Straccia. Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems, 160(23):3382-3402, 2009.
4. F. Bobillo and U. Straccia. Supporting fuzzy rough sets in fuzzy description logics. In Proc. of ECSQARU'09, volume 5590 of LNCS, pages 676-687. Springer, 2009.
5. G. Grätzer. General Lattice Theory. Birkhäuser, Basel, second edition edition, 1998.
6. B. Hollunder. Consistency checking reduced to satisfiability of concepts in terminological systems. 18(2-4):133-157, 1996.
7. Y. Jiang, Y. Tang, J. Wang, P. Deng, and S. Tang. Expressive fuzzy description logics over lattices. Knowledge-Based Systems, 23(2):150-161, 2010.
8. C. M. Keet. Ontology engineering with rough concepts and instances. In Proc. of EKAW 2010, volume 6317 of LNCS, pages 503-513. Springer, 2010.
9. T. Lukasiewicz and U. Straccia. Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics, 6(4):291-308, 2008.
10. Z. Pawlak. Rough sets. Int. J. of Computer and Information Sciences, 11/5:341-356, 1982.
11. S. Schlobach, M. C. A. Klein, and L. Peelen. Description logics with approximate definitions: Precise modeling of vague concepts. In Proc. of IJCAI'07, Hyderabad, India, January 2007.
12. G. Stoilos, G. B. Stamou, J. Z. Pan, V. Tzouvaras, and I. Horrocks. Reasoning with very expressive fuzzy description logics. JAIR, 30:273-320, 2007.
13. U. Straccia. Reasoning within fuzzy description logics. JAIR, 14:137-166, 2001.
14. U. Straccia. Transforming fuzzy description logics into classical description logics. In Proc. of JELIA'04, volume 3229 of LNCS, pages 385-399. Springer, 2004.
15. U. Straccia. Description logics over lattices. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems, 14(1):1-16, 2006.
16. J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proc. of IJCAI'91, pages 472-477, 1991.
17. L. A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, June 1965.