Logic: Attempto Controlled English (ACE)



I discovered this Natural Language approach to logic through
John F. Sowa's Book Knowledge Representation, Logical, Philosophical and Computational Foundations. {2005-11-18}

Details of ACE are available at
http://www.ifi.unizh.ch/attempto/ {2005-11-18}

Since it is good to use the Library as an example for Ontologies then let us consider:
Every Book has a Title
and an Author Name
and a Subject Area.
(Sowa 2000, p.517)

Using the online parser at http://www.ifi.unizh.ch/attempto/tools/index.html {2005-11-18}
I enter
Every Book has a Title.
and get (among other things)
forall(A, forall(B, (object(A, book, object)-1)∧ (quantity(A, cardinality, count_unit, B, eq, 1)-1)∧structure(A, atomic)-1=>exists(C, exists(D, exists(E, (object(C, title, object)-1)∧ (quantity(C, cardinality, count_unit, D, eq, 1)-1)∧ (structure(C, atomic)-1)∧predicate(E, unspecified, have, A, C)-1)))))
What would this look like in Description Logic?

Posted: Fri - November 18, 2005 at 11:48 a.m.          

©