Evaluated Languages

Attempto Controlled English

For knowledge representation in the Semantic Web. Usable in knowledge assimilation, medical reports, planning, ... legal texts, standards, semantic web, business and policy rules, protein ontology .... The Attempto system does not contain any a priori knowledge of application domains or of formal methods. Users must explicitly define all domain knowledge--for instance definitions, constraints, ontologies--as ACE texts.