CO3L Compact Ontology Representation Language
|
|
|
CO3L is the official O3F Ontology Representation Language. CO3L language design is strongly compliant with the O3 Model therefore it can be used to specify ontologies following an object oriented view, a relational / functional view, and a mixed view of the world.
Being a textual expression of O3 Model, CO3L can specify any ontology that can be modelled according to the O3 Model. Nevertheless, O3F ontologies may be written in any other O3 Model compliant representation language.
CO3L is a very simple relational language based on a small subset of first order predicate logic.
Class(Book) Attribute(Book, isbn, ISBN_type) Attribute(Book, title, String) Attribute(Book, author, String)
Datatype(ISBN_type, String) EntityFacet(ISBN_Type, Instance_minimum_size, 10) EntityFacet(ISBN_Type, Instance_maximum_size, 13)
CO3L is thoroughly described in CO3L Detailed Description and briefly summarised in CO3L Summary. We strive to formally describe it in CO3L.
The major future goal regarding CO3L is the development of an axiom representation language. |
|
|
||
|
|
||
|
|
||
|
|
||
|
|