Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Attempto_Controlled_English> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Attempto_Controlled_English abstract "Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules.ACE can serve as knowledge representation, specification, and query language, and is intended for professionals who want to use formal notations and formal methods, but may not be familiar with them. Though ACE appears perfectly natural – it can be read and understood by any speaker of English – it is in fact a formal language.ACE and its related tools have been used in the fields of software specifications, theorem proving, text summaries, ontologies, rules, querying, medical documentation and planning.Here are some simple examples: Every woman is a human. A woman is a human. A man tries-on a new tie. If the tie pleases his wife then the man buys it.ACE construction rules require that each noun be introduced by a determiner (a, every, no, some, at least 5, ...). ACE interpretation rules decide that (1) is interpreted as universally quantified, while (2) is interpreted as existentially quantified. Sentences like "Women are human" do not follow ACE syntax and are consequently not valid.Interpretation rules resolve the anaphoric references in (3): the tie and it of the second sentence refer to a new tie of the first sentence, while his and the man of the second sentence refer to a man of the first sentence. Thus an ACE text is a coherent entity of anaphorically linked sentences.The Attempto Parsing Engine (APE) translates ACE texts unambiguously into discourse representation structures (DRS) that use a variant of the language of first-order logic. A DRS can be further translated into other formal languages, for instance AceRules with various semantics, OWL, and SWRL. Translating an ACE text into (a fragment of) first-order logic allows users to reason about the text, for instance to verify, to validate, and to query it.".
- Attempto_Controlled_English wikiPageExternalLink attempto.ifi.uzh.ch.
- Attempto_Controlled_English wikiPageExternalLink ace_constructionrules.html.
- Attempto_Controlled_English wikiPageExternalLink ace_interpretationrules.html.
- Attempto_Controlled_English wikiPageExternalLink ace_troubleshooting.html.
- Attempto_Controlled_English wikiPageID "6520028".
- Attempto_Controlled_English wikiPageLength "16928".
- Attempto_Controlled_English wikiPageOutDegree "41".
- Attempto_Controlled_English wikiPageRevisionID "678106361".
- Attempto_Controlled_English wikiPageWikiLink Automated_theorem_proving.
- Attempto_Controlled_English wikiPageWikiLink Automatic_summarization.
- Attempto_Controlled_English wikiPageWikiLink Category:Controlled_English.
- Attempto_Controlled_English wikiPageWikiLink Category:Controlled_natural_languages.
- Attempto_Controlled_English wikiPageWikiLink Category:Knowledge_representation.
- Attempto_Controlled_English wikiPageWikiLink Category:Natural_language_parsing.
- Attempto_Controlled_English wikiPageWikiLink Category:Natural_language_processing.
- Attempto_Controlled_English wikiPageWikiLink ClearTalk.
- Attempto_Controlled_English wikiPageWikiLink Controlled_natural_language.
- Attempto_Controlled_English wikiPageWikiLink Coordination_(linguistics).
- Attempto_Controlled_English wikiPageWikiLink Discourse_Representation_Theory.
- Attempto_Controlled_English wikiPageWikiLink Discourse_representation_theory.
- Attempto_Controlled_English wikiPageWikiLink English_Grammar.
- Attempto_Controlled_English wikiPageWikiLink English_grammar.
- Attempto_Controlled_English wikiPageWikiLink Existential_quantification.
- Attempto_Controlled_English wikiPageWikiLink First-order_logic.
- Attempto_Controlled_English wikiPageWikiLink Formal_language.
- Attempto_Controlled_English wikiPageWikiLink Formal_languages.
- Attempto_Controlled_English wikiPageWikiLink Formal_verification.
- Attempto_Controlled_English wikiPageWikiLink Health_informatics.
- Attempto_Controlled_English wikiPageWikiLink Inference.
- Attempto_Controlled_English wikiPageWikiLink Inform.
- Attempto_Controlled_English wikiPageWikiLink Inform_7.
- Attempto_Controlled_English wikiPageWikiLink Information_retrieval.
- Attempto_Controlled_English wikiPageWikiLink Knowledge_Representation.
- Attempto_Controlled_English wikiPageWikiLink Knowledge_representation.
- Attempto_Controlled_English wikiPageWikiLink Knowledge_representation_and_reasoning.
- Attempto_Controlled_English wikiPageWikiLink Natural_Language_Processing.
- Attempto_Controlled_English wikiPageWikiLink Natural_language_processing.
- Attempto_Controlled_English wikiPageWikiLink Negation.
- Attempto_Controlled_English wikiPageWikiLink Ontologies.
- Attempto_Controlled_English wikiPageWikiLink Ontology_(information_science).
- Attempto_Controlled_English wikiPageWikiLink Planning.
- Attempto_Controlled_English wikiPageWikiLink Quantification_(linguistics).
- Attempto_Controlled_English wikiPageWikiLink Quantifier_(linguistics).
- Attempto_Controlled_English wikiPageWikiLink Query_language.
- Attempto_Controlled_English wikiPageWikiLink Requirements_analysis.
- Attempto_Controlled_English wikiPageWikiLink SWRL.
- Attempto_Controlled_English wikiPageWikiLink Specification_language.
- Attempto_Controlled_English wikiPageWikiLink Structured_English.
- Attempto_Controlled_English wikiPageWikiLink Subordination_(linguistics).
- Attempto_Controlled_English wikiPageWikiLink Theorem_proving.
- Attempto_Controlled_English wikiPageWikiLink Universal_quantification.
- Attempto_Controlled_English wikiPageWikiLink University_of_Zurich.
- Attempto_Controlled_English wikiPageWikiLink Web_Ontology_Language.
- Attempto_Controlled_English wikiPageWikiLinkText "Attempto Controlled English".
- Attempto_Controlled_English hasPhotoCollection Attempto_Controlled_English.
- Attempto_Controlled_English wikiPageUsesTemplate Template:Reflist.
- Attempto_Controlled_English wikiPageUsesTemplate Template:Unreferenced_section.
- Attempto_Controlled_English subject Category:Controlled_English.
- Attempto_Controlled_English subject Category:Controlled_natural_languages.
- Attempto_Controlled_English subject Category:Knowledge_representation.
- Attempto_Controlled_English subject Category:Natural_language_parsing.
- Attempto_Controlled_English subject Category:Natural_language_processing.
- Attempto_Controlled_English hypernym Language.
- Attempto_Controlled_English type Language.
- Attempto_Controlled_English type Language.
- Attempto_Controlled_English comment "Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules.ACE can serve as knowledge representation, specification, and query language, and is intended for professionals who want to use formal notations and formal methods, but may not be familiar with them.".
- Attempto_Controlled_English label "Attempto Controlled English".
- Attempto_Controlled_English sameAs Attempto_Controlled_English.
- Attempto_Controlled_English sameAs Attempto_Controlled_English.
- Attempto_Controlled_English sameAs m.0g8k6r.
- Attempto_Controlled_English sameAs Q3942417.
- Attempto_Controlled_English sameAs Q3942417.
- Attempto_Controlled_English wasDerivedFrom Attempto_Controlled_English?oldid=678106361.
- Attempto_Controlled_English isPrimaryTopicOf Attempto_Controlled_English.