Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Three theses of representation in the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Semantic Web Primer
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Towards a People's Web: Metalog
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Attempto Controlled English for Knowledge Representation
Reasoning Web
Using WYSIWYM to create an open-ended interface for the semantic grid
ENLG '07 Proceedings of the Eleventh European Workshop on Natural Language Generation
Evaluating an ontology-driven WYSIWYM interface
INLG '08 Proceedings of the Fifth International Natural Language Generation Conference
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
A semantic query interface for the OGO platform
ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
Flexible semantic querying of clinical archetypes
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Proceddings of the 9th international interactive conference on Interactive television
Hi-index | 0.00 |
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the first glance, the proposed controlled natural language looks like full English and can therefore be easily written and understood by non-specialists. However, its built-in grammatical and lexical restrictions, which are enforced by an intelligent authoring tool, guarantee that the language can be directly translated into description logic programs, i.e. the intersection of an expressive description logic with function-free logic programs. The controlled natural language can be used to make assertional and terminological statements as well as to specify rules for reasoning with the resulting assertional and terminological knowledge.