Skip to main content
Springer Nature Link
Log in

Controlled English for Reasoning on the Semantic Web

  • Chapter
Semantic Techniques for the Web

Part of the book series: Lecture Notes in Computer Science ((LNISA,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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    Chapter  Google Scholar 

  2. Bernardi, R., Calvanese, D., Thorne, C.: Lite Natural Language. In: IWCS-7 (2007)

    Google Scholar 

  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. 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. 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. Bos, J.: Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13(2), 139–157 (2004)

    Article  MATH  Google Scholar 

  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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1990)

    Article  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  19. Hirtle, D.: TRANSLATOR: A TRANSlator from LAnguage TO Rules. In: Canadian Symposium on Text Analysis (CaSTA), Fredericton, Canada (October 2006)

    Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Kuhn, T., Schwitter, R.: Writing Support for Controlled Natural Languages. In: Proceedings of the Australasian Language Technology Workshop (ALTA 2008) (2008)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  32. Pratt-Hartmann, I.: A two-variable fragment of English. Journal of Logic, Language and Information 12(1), 13–45 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)

    Google Scholar 

  38. Sowa, J.F.: Common Logic Controlled English. Technical report (2007), http://www.jfsowa.com/clce/clce07.htm (Draft, March 15, 2007)

  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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. L3S, University of Hanover, Germany

    Juri Luca De Coi

  2. Department of Informatics and Institute of Computational Linguistics, University of Zurich, Switzerland

    Norbert E. Fuchs, Kaarel Kaljurand & Tobias Kuhn

Authors
  1. Juri Luca De Coi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norbert E. Fuchs
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kaarel Kaljurand
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tobias Kuhn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Munich, Oettingenstr. 67, D-80538, München, Germany

    François Bry

  2. Department of Computer Science, Linköping University, 581 83, Linköping, Sweden

    Jan Małuszyński

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

De Coi, J.L., Fuchs, N.E., Kaljurand, K., Kuhn, T. (2009). Controlled English for Reasoning on the Semantic Web. In: Bry, F., Małuszyński, J. (eds) Semantic Techniques for the Web. Lecture Notes in Computer Science, vol 5500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04581-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04581-3_6

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics