Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
A Two-Variable Fragment of English
Journal of Logic, Language and Information
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Computational Semantics in Discourse: Underspecification, Resolution, and Inference
Journal of Logic, Language and Information
IkeWiki: A Semantic Wiki for Collaborative Knowledge Management
WETICE '06 Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Web Semantics: Science, Services and Agents on the World Wide Web
AceRules: executing rules in controlled natural language
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
CLOnE: controlled language for ontology editing
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Rabbit: developing a control natural language for authoring ontologies
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
OntoWiki – a tool for social, semantic collaboration
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Controlled natural languages for knowledge representation
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.00 |
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.