Controlled english for reasoning on the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5500 LNCS, Issue , 2009, Pages 276-308

  De Coi, Juri Luca ^a   Fuchs, Norbert E ^b   Kaljurand, Kaarel ^b   Kuhn, Tobias ^b  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

^b UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ATTEMPTO CONTROLLED ENGLISH; CONTROLLED NATURAL LANGUAGE; LOGIC-BASED LANGUAGES; POLICY FRAMEWORK; PROTUNE; REASONER; SEMANTIC WEB LANGUAGES; SEMANTIC WEB STANDARDS;

FORMAL METHODS; LINGUISTICS; ONTOLOGY; SEMANTIC WEB;

SEMANTICS;

EID: 70549087875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04581-3_6     Document Type: Conference Paper

References (40)

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)
2. Bernardi, R., Calvanese, D., Thorne, C.: Lite Natural Language. In: IWCS-7 (2007)
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)
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)
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)
6. Bos, J.: Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13(2), 139-157 (2004)
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)
8. De Coi, J.L.: Notes for a possible ACE → Protune mapping. Technical report, Forschungszentrum L3S, Appelstr. 9a, 30167 Hannover (D) (July 2008)
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)
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)
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)
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)
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)
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)
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)
16. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385 (1990)
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)
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)
19. Hirtle, D.: TRANSLATOR: A TRANSlator from LAnguage TO Rules. In: Canadian Symposium on Text Analysis (CaSTA), Fredericton, Canada (October 2006)
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)
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)
22. Kaljurand, K.: Attempto Controlled English as a Semantic Web Language. PhD thesis, Faculty of Mathematics and Computer Science, University of Tartu (2007)
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)
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)
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)
26. Kuhn, T.: AceRules: Executing Rules in Controlled Natural Language. In: Mar-chiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, pp. 299-308. Springer, Heidelberg (2007)
27. Kuhn, T.: AceWiki: A Natural and Expressive Semantic Wiki. In: Semantic Web User Interaction at CHI 2008: Exploring HCI Challenges (2008)
28. Kuhn, T.: AceWiki: Collaborative Ontology Management in Controlled Natural Language. In: Proceedings of the 3rd Semantic Wiki Workshop. CEUR Proceedings, vol. 360 (2008)
29. Kuhn, T., Schwitter, R.: Writing Support for Controlled Natural Languages. In: Proceedings of the Australasian Language Technology Workshop (ALTA 2008) (2008)
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)
32. Pratt-Hartmann, I.: A two-variable fragment of English. Journal of Logic, Language and Information 12(1), 13-45 (2003)
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)
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)
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)
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)
37. Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)
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., Maluszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33-50. Springer, Heidelberg (2003)
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)