Controlled English for Reasoning on the Semantic Web

  • Juri Luca De Coi
  • Norbert E. Fuchs
  • Kaarel Kaljurand
  • Tobias Kuhn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5500)

Abstract

The existing Semantic Web languages have a very technical focus and fail to provide good usability for users with no background in formal methods. We argue that controlled natural languages like Attempto Controlled English (ACE) can solve this problem. ACE is a subset of English that can be translated into various logic based languages, among them the Semantic Web standards OWL and SWRL. ACE is accompanied by a set of tools, namely the parser APE, the Attempto Reasoner RACE, the ACE View ontology and rule editor, the semantic wiki AceWiki, and the Protune policy framework. The applications cover a wide range of Semantic Web scenarios, which shows how broadly ACE can be applied. We conclude that controlled natural languages can make the Semantic Web better understandable and more usable.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Auer, S., Dietzold, S., Riechert, T.: OntoWiki — A Tool for Social, Semantic Collaboration. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 736–749. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Bernardi, R., Calvanese, D., Thorne, C.: Lite Natural Language. In: IWCS-7 (2007)Google Scholar
  3. 3.
    Bernstein, A., Kaufmann, E., Fuchs, N.E.: Talking to the Semantic Web — A Controlled English Query Interface for Ontologies. AIS SIGSEMIS Bulletin 2(1), 42–47 (2005)Google Scholar
  4. 4.
    Bernstein, A., Kaufmann, E., Fuchs, N.E., von Bonin, J.: Talking to the Semantic Web — A Controlled English Query Interface for Ontologies. In: 14th Workshop on Information Technology and Systems, December 2004, pp. 212–217 (2004)Google Scholar
  5. 5.
    Blackburn, P., Bos, J.: Working with Discourse Representation Structures. In: Representation and Inference for Natural Language: A First Course in Computational Linguistics, vol. 2 (September 1999)Google Scholar
  6. 6.
    Bos, J.: Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13(2), 139–157 (2004)CrossRefMATHGoogle Scholar
  7. 7.
    Clark, P., Harrison, P., Jenkins, T., Thompson, J., Wojcik, R.H.: Acquiring and Using World Knowledge Using a Restricted Subset of English. In: FLAIRS 2005, pp. 506–511 (2005)Google Scholar
  8. 8.
    De Coi, J.L.: Notes for a possible ACE → Protune mapping. Technical report, Forschungszentrum L3S, Appelstr. 9a, 30167 Hannover (D) (July 2008)Google Scholar
  9. 9.
    De Coi, J.L., Olmedilla, D.: A Review of Trust Management, Security and Privacy Policy Languages. In: Proceedings of the 3rd International Conference on Security and Cryptography (SECRYPT 2008). Springer, Heidelberg (2008)Google Scholar
  10. 10.
    Cregan, A., Schwitter, R., Meyer, T.: Sydney OWL Syntax — towards a Controlled Natural Language Syntax for OWL 1.1. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) 3rd OWL Experiences and Directions Workshop (OWLED 2007). CEUR Proceedings, vol. 258 (2007)Google Scholar
  11. 11.
    Dimitrova, V., Denaux, R., Hart, G., Dolbear, C., Holt, I., Cohn, A.: Involving Domain Experts in Authoring OWL Ontologies. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 1–16. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Fuchs, N.E., Kaljurand, K., Kuhn, T.: Discourse Representation Structures for ACE 6.0. Technical Report ifi-2008.02, Department of Informatics, University of Zurich, Zurich, Switzerland (2008)Google Scholar
  13. 13.
    Funk, A., Davis, B., Tablan, V., Bontcheva, K., Cunningham, H.: D2.2.2 Report: Controlled Language IE Components version 2. Technical report, University of Sheffield (2007)Google Scholar
  14. 14.
    Funk, A., Tablan, V., Bontcheva, K., Cunningham, H., Davis, B., Handschuh, S.: CLOnE: Controlled Language for Ontology Editing. 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.) ISWC 2007. LNCS, vol. 4825, pp. 142–155. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)Google Scholar
  16. 16.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1990)CrossRefMATHGoogle Scholar
  17. 17.
    Grosof, B.N.: Courteous logic programs: Prioritized conflict handling for rules. Technical Report RC 20836, IBM Research, IBM T.J. Watson Research Center (December 1997)Google Scholar
  18. 18.
    Hart, G., Johnson, M., Dolbear, C.: Rabbit: Developing a Controlled Natural Language for Authoring Ontologies. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 348–360. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  19. 19.
    Hirtle, D.: TRANSLATOR: A TRANSlator from LAnguage TO Rules. In: Canadian Symposium on Text Analysis (CaSTA), Fredericton, Canada (October 2006)Google Scholar
  20. 20.
    Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) 3rd OWL Experiences and Directions Workshop (OWLED 2007). CEUR Proceedings, vol. 258 (2007)Google Scholar
  21. 21.
    Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The Manchester OWL Syntax. In: 2nd OWL Experiences and Directions Workshop (OWLED 2006) (2006)Google Scholar
  22. 22.
    Kaljurand, K.: Attempto Controlled English as a Semantic Web Language. PhD thesis, Faculty of Mathematics and Computer Science, University of Tartu (2007)Google Scholar
  23. 23.
    Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170–184. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  24. 24.
    Kamp, H., Reyle, U.: From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer Academic Publishers, Dordrecht (1993)Google Scholar
  25. 25.
    Krötzsch, M., Vrandečić, D., Völkel, M., Haller, H., Studer, R.: Semantic Wikipedia. Web Semantics: Science, Services and Agents on the World Wide Web 5(4), 251–261 (2007)CrossRefGoogle Scholar
  26. 26.
    Kuhn, T.: AceRules: Executing Rules in Controlled Natural Language. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, pp. 299–308. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  27. 27.
    Kuhn, T.: AceWiki: A Natural and Expressive Semantic Wiki. In: Semantic Web User Interaction at CHI 2008: Exploring HCI Challenges (2008)Google Scholar
  28. 28.
    Kuhn, T.: AceWiki: Collaborative Ontology Management in Controlled Natural Language. In: Proceedings of the 3rd Semantic Wiki Workshop. CEUR Proceedings, vol. 360 (2008)Google Scholar
  29. 29.
    Kuhn, T., Schwitter, R.: Writing Support for Controlled Natural Languages. In: Proceedings of the Australasian Language Technology Workshop (ALTA 2008) (2008)Google Scholar
  30. 30.
    Lukichev, S., Wagner, G., Fuchs, N.E.: Deliverable I1-D11. Tool Improvements and Extensions 2. Technical report, REWERSE (2007), http://rewerse.net/deliverables.html
  31. 31.
    Manthey, R., Bry, F.: SATCHMO: A Theorem Prover Implemented in Prolog. In: Lusk, E.‘., Overbeek, R. (eds.) CADE 1988. LNCS, vol. 310, pp. 415–434. Springer, Heidelberg (1988)CrossRefGoogle Scholar
  32. 32.
    Pratt-Hartmann, I.: A two-variable fragment of English. Journal of Logic, Language and Information 12(1), 13–45 (2003)MathSciNetCrossRefMATHGoogle Scholar
  33. 33.
    Rector, A.L., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS, vol. 3257, pp. 63–81. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  34. 34.
    Schaffert, S.: IkeWiki: A Semantic Wiki for Collaborative Knowledge Management. In: Proceedings of the First International Workshop on Semantic Technologies in Collaborative Applications (STICA 2006), pp. 388–396 (2006)Google Scholar
  35. 35.
    Schwitter, R., Kaljurand, K., Cregan, A., Dolbear, C., Hart, G.: A Comparison of three Controlled Natural Languages for OWL 1.1. In: 4th OWL Experiences and Directions Workshop (OWLED 2008), DC, Washington, April 1-2 (2008)Google Scholar
  36. 36.
    Schwitter, R., Tilbrook, M.: Let’s Talk in Description Logic via Controlled Natural Language. In: Logic and Engineering of Natural Language Semantics 2006 (LENLS 2006), Tokyo, Japan, June 5-6 (2006)Google Scholar
  37. 37.
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)Google Scholar
  38. 38.
    Sowa, J.F.: Common Logic Controlled English. Technical report (2007), http://www.jfsowa.com/clce/clce07.htm (Draft, March 15, 2007)
  39. 39.
    Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  40. 40.
    Wagner, G., Giurca, A., Lukichev, S.: A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL. In: Hitzler, P., Wache, H., Eiter, T. (eds.) RoW 2006 Reasoning on the Web Workshop at WWW 2006 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Juri Luca De Coi
    • 1
  • Norbert E. Fuchs
    • 2
  • Kaarel Kaljurand
    • 2
  • Tobias Kuhn
    • 2
  1. 1.L3S, University of HanoverGermany
  2. 2.Department of Informatics and Institute of Computational LinguisticsUniversity of ZurichSwitzerland

Personalised recommendations