JIANG Yun-cheng, TAN Hong-yan. Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(3): 322-335. DOI: 10.3969/j.issn.1001-0548.2012.03.001
Citation: JIANG Yun-cheng, TAN Hong-yan. Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(3): 322-335. DOI: 10.3969/j.issn.1001-0548.2012.03.001

Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)

  • In this paper we present a very expressive fuzzy description logic framework, L-SROIQ(D), based on certainty lattices, which is a fuzzy extension of the description logic SROIQ(D) (theoretical basis of the ontology language OWL 2). Some logical properties of L-SROIQ(D) are researched and the decidability of L-SROIQ(D) is proved in case of linearly ordered lattices.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return