Skip to main content
SpringerLink
Log in
Book cover

Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) pp 89–96Cite as

A Fuzzy Knowledge Representation Approach with Description Logic and Logic Program

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 117))

Abstract

This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Datalog and discusses the common reasoning problems in fuzzy description logic programming and finally proposes an inequation/equation set approach to solve the reasoning problems.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3c Working Draft, W3C (October 2008)

    Google Scholar 

  2. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation. Journal of Web Semantics 3(1), 23–40 (2005)

    Article  Google Scholar 

  3. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14(1), 137–166 (2001)

    MathSciNet  MATH  Google Scholar 

  4. Jiang, Y.-C., Shi, Z.-Z., Tang, Y., Wang, J.: Fuzzy description logic for semantics representation of the semantic Web. Journal of Software 18(6), 1257–1269 (2007)

    MathSciNet  MATH  Google Scholar 

  5. Pan, J.Z.: A flexible ontology reasoning architecture for the semantic web. IEEE Transaction on Knowledge and Data Engineering 19(2), 246–260 (2007)

    Article  Google Scholar 

  6. W3C. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL/

  7. Wang, H.-L., Ma, Z.-M., Li, Y., Cheng, J.-W.: Fuzzy Description Logic F-SHOIQ(G) Supporting Representaion of Fuzzy Data Types. Chinese Journal of Computers (8), 1511–1524 (2009)

    Google Scholar 

  8. Zaden, L.A.: Fuzzy Logic and Approximate Reasoning. Synthese (1975)

    Google Scholar 

  9. Straccia, U.: Fuzzy description logics with concrete domains, Technical Report 2005-TR-03, Istituto di Scienza e Tecnologie dell Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy (2005)

    Google Scholar 

  10. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China

    Song Ding, Sheng-Qun Tang, Liang Zhang, Kun Liu & Xue Qin

Authors
  1. Song Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sheng-Qun Tang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Liang Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kun Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Xue Qin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Song Ding .

Editor information

Editors and Affiliations

  1. Central China Normal University, Lvting Yajing, Hongshan Qu 10-3-102, Wuhan, 430079, China, People's Republic

    Yanwen Wu

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Science+Business Media Dordrecht

About this paper

Cite this paper

Ding, S., Tang, SQ., Zhang, L., Liu, K., Qin, X. (2012). A Fuzzy Knowledge Representation Approach with Description Logic and Logic Program. In: Wu, Y. (eds) Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009). Advances in Intelligent and Soft Computing, vol 117. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25437-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25437-6_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25436-9

  • Online ISBN: 978-3-642-25437-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation