Autonomous Agents and Multi-Agent Systems
English as a Formal Specification Language
DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
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
Dynamic Semantics for a Controlled Natural Language
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
IEEE Internet Computing
Solving logic puzzles: from robust processing to precise semantics
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
A revised architecture for semantic web reasoning
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Web-Annotations for Humans and Machines
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Controlling ambiguities in legislative language
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Hi-index | 0.00 |
In this paper we present a user friendly approach to annotate websites with machine-processable information in controlled natural language. The controlled natural language serves as a high-level specification and knowledge representation language which allows human annotators to summarise individual web pages of a website and to express domain-specific ontological knowledge about that website in an unambiguous subset of English. The annotation process is backed up by an intelligent text editor which supports the writing process of the controlled natural language with the help of text- and menu-based predictive interface techniques. The text editor runs as a Java applet and is connected over the Internet to a controlled natural language processor and to a reasoning service (consisting of a theorem prover and a model builder). The controlled language processor translates the summaries of web pages and the ontological knowledge about a website into first-order predicate logic and the reasoning service combines this information into a set of micro theories for consistency and informativity checking as well as for question answering. Specification texts written in controlled natural language are both human-readable and machine-processable, and can be easily exported and distributed as web feeds.