Skip to main content
SpringerLink
Log in

Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language

  • Conference paper
Rough Sets and Current Trends in Computing (RSCTC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6086))

Included in the following conference series:

Abstract

We introduce a number of paraconsistent semantics, including three-valued and four-valued semantics, for the description logic \(\mathcal{SROIQ}\), which is the logical foundation of OWL 2. We then study the relationship between the semantics and paraconsistent reasoning in \(\mathcal{SROIQ}\) w.r.t. some of them through a translation into the traditional semantics. We also present a formalization of rough concepts in \(\mathcal{SROIQ}\).

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  2. Béziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.): Handbook of Paraconsistency. Logic and cognitive systems, vol. 9. College Publications (2007)

    Google Scholar 

  3. Easterbrook, S.M., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proc. of ICSE 2001, pp. 411–420. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

  4. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proc. of KR 2006, pp. 57–67. AAAI Press, Menlo Park (2006)

    Google Scholar 

  5. Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: An approximate concepts approach. Inf. Sci. 179(5), 600–612 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  6. Klein, M.C.A., Mika, P., Schlobach, S.: Rough description logics for modeling uncertainty in instance unification. In: Proc. of URSW 2007. CEUR Workshop Proc., vol. 327 (2007)

    Google Scholar 

  7. Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Polleres, A. (ed.) RR 2009. LNCS, vol. 5837, pp. 197–211. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  8. Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc. of Description Logics (2008)

    Google Scholar 

  9. Meghini, C., Straccia, U.: A relevance terminological logic for information retrieval. In: Proc. of SIGIR 1996, pp. 197–205. ACM, New York (1996)

    Chapter  Google Scholar 

  10. Nguyen, L.A.: The long version of the current paper, http://www.mimuw.edu.pl/~nguyen/pSROIQ-long.pdf

  11. Nguyen, L.A., Szałas, A.: Three-valued paraconsistent reasoning for Semantic Web agents. Accepted for KES-AMSTA 2010 (2010)

    Google Scholar 

  12. Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. part II: A tableau algorithm for CACL\(^{\mbox{c}}\). Journal of Applied Logic 6(3), 343–360 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  13. Pawlak, Z.: Rough sets. Int. Journal of Computer and Information Science 11, 341–356 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  14. Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  15. Pawlak, Z., Skowron, A.: Rough sets and boolean reasoning. Inf. Sci. 177(1), 41–73 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  16. Pawlak, Z., Skowron, A.: Rough sets: Some extensions. Inf. Sci. 177(1), 28–40 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  17. Pawlak, Z., Skowron, A.: Rudiments of rough sets. Inf. Sci. 177(1), 3–27 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  18. Schlobach, S., Klein, M.C.A., Peelen, L.: Description logics with approximate definitions - precise modeling of vague concepts. In: Proc. of IJCAI 2007, pp. 557–562. AAAI Press, Menlo Park (2007)

    Google Scholar 

  19. Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol. 1227, pp. 343–357. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  20. Vitória, A., Maluszyński, J., Szałas, A.: Modeling and reasoning in paraconsistent rough sets. Fundamenta Informaticae 97(4), 405–438 (2009)

    MATH  MathSciNet  Google Scholar 

  21. Zhang, X., Qi, G., Ma, Y., Lin, Z.: Quasi-classical semantics for expressive description logics. In: Proc. of Description Logics (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, Banacha 2, 02-097, Warsaw, Poland

    Linh Anh Nguyen

Authors
  1. Linh Anh Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Marcin Szczuka

  2. ICS, Warsaw University of Technology,,  

    Marzena Kryszkiewicz

  3. Department of Applied Computer Science, University of Winnipeg, R3B 2E9, Winnipeg, Manitoba, Canada

    Sheela Ramanna

  4. Dept. of Computer Science, The University of Wales, Aberystwyth, UK

    Richard Jensen

  5. Harbin Institute of Technology, PO Box 458, 150006, Harbin, China

    Qinghua Hu

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nguyen, L.A. (2010). Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. In: Szczuka, M., Kryszkiewicz, M., Ramanna, S., Jensen, R., Hu, Q. (eds) Rough Sets and Current Trends in Computing. RSCTC 2010. Lecture Notes in Computer Science(), vol 6086. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13529-3_75

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13529-3_75

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13528-6

  • Online ISBN: 978-3-642-13529-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation