Abstract
Recent semantic information services based on ontology provide users with very useful analytic information but do not often give intuitive understanding to users. This may lead to decrease users’ confidence in semantic information services. To solve this issue, we suggest inference verification method which explains how an implicit fact was obtained. Inference verification is defined as a set of facts and rules caused to derive an implicit fact. Practicality and visualization are considered as important factors to implement this task since the task is for real users. We are convinced that the suggest method can give confidence in semantic information services to users and plan to evaluate it through user test.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Use Case: OntoFrame 2008– A Semantic Portal Service of Academic Research Information (2008), http://www.w3.org/2001/sw/sweo/public/UseCases/OntoFrame/
Jung, H., Lee, M., Kim, P., Sung, W.-K.: Technology-Based Decision-Making Support System. In: Salvendy, G., Smith, M.J. (eds.) HCII 2011, Part II. LNCS, vol. 6772, pp. 262–267. Springer, Heidelberg (2011)
Jung, H., Kim, P., Lee, S., Lee, M., Seo, D., Sung, W.-K.: iLaw system: Intelligent Legislation Support System based on Semantic Web and Text Mining Technologies. In: 5th International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG 2011), Italy, pp. 1–12 (2011)
Glaser, H., Millard, I.C., Jaffri, A.: RKBExplorer.com: A Knowledge Driven Infrastructure for Linked Data Providers. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 797–801. Springer, Heidelberg (2008)
Philipp, H., Sebastian, H., Jens, L., Steffen, L., Timo, S.: RelFinder: Revealing Relationships in RDF Knowledge Bases. In: Chua, T.-S., Kompatsiaris, Y., Mérialdo, B., Haas, W., Thallinger, G., Bailer, W. (eds.) SAMT 2009. LNCS, vol. 5887, pp. 182–187. Springer, Heidelberg (2009)
Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL Ontologies. In: Ellis, A., Hagino, T. (eds.) 14th International Conference on World Wide Web (WWW 2005), pp. 633–640. ACM, Chiba (2005)
Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding All Justifications of OWL DL Entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007)
Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 1–15. Springer, Heidelberg (2008)
Horridge, M., Parsia, B., Sattler, U., Schneider, T.: Working with Explanations of OWL Entailments. In: Tutorial of 8th International Semantic Web Conference (ISWC 2009), Washington, DC (2009)
Horridge, M., Parsia, B., Sattler, U.: Justification Oriented Proofs in OWL. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 354–369. Springer, Heidelberg (2010)
Resource Description Framework (RDF), http://www.w3.org/RDF/
SPARQL Protocol and RDF Query Language (SPARQL), http://www.w3.org/TR/rdfsparql-query/
Web Ontology Language (OWL), http://www.w3.org/TR/owl-features/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, S., Lee, M., Jung, H., Sung, WK. (2011). Inference Verification for Enhancing Confidence in Semantic Information Service. In: Kim, Th., et al. U- and E-Service, Science and Technology. UNESST 2011. Communications in Computer and Information Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27210-3_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-27210-3_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27209-7
Online ISBN: 978-3-642-27210-3
eBook Packages: Computer ScienceComputer Science (R0)