ACE1 compliant controlled Latvian2 for ontology3 authoring and verbalization

1 Attempto Controlled English
2 A highly synthetic language with rich morphology; member of the Baltic language group that is a close sibling to the Slavic language group
3 OWL axioms + SWRL rules + SPARQL integrity queries

On-line demo

Express axioms and rules of sample domain ontologies (University and Wildlife) in controlled Latvian and English (in parallel):

The latter two demonstrations exploit the interactive web applications described in B. Bringert, K. Angelov, and A. Ranta: Grammatical Framework Web Service.

Sample sentences (University-0.1):

  1. Terminological statements
    • Classes
      • every professor is a teacher .
      • no assistant is a professor .
      • every course is something that is a mandatory course or that is an optional course .
      • every teacher teaches a course .
      • every course is taught by a teacher .
      • every student is a person that is enrolled by an academic program .
      • everything that teaches a mandatory course is a professor .
      • everything that is included by an academic program is taught by a teacher .
    • Properties
      • everything that teaches something is a teacher .
      • everything that is taught by something is a course .
      • if X includes something that is taken by Y then X enrolls Y .
      • if X teaches Y then X does not take Y .
      • if X includes Y then X is constituted by Y .
  2. Rules
    • every mandatory course that is included by an academic program is taken by every student that is enrolled by the academic program .
    • every person that takes a mandatory course that is included by an academic program that enrolls the person is a student .
  3. Queries
    • is there a student that takes a course that is not included by an academic program that enrolls the student ?

Note: Animate and inanimate things are not distinguished. Direct translation (in GF) to/from the Functional-Style Syntax of OWL is supported only in version 0.1 and only for class axioms (i.e., for statements that do not use anaphoric references, incl. variables).

Source code

Evaluation

Results of the first public survey are summarized here.

Related publications


Powered by
Grammatical Framework

Last updated: 2011-02-03

Artificial Intelligence Laboratory
Institute of Mathematics and Computer Science
University of Latvia