Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / owl / OWL.mli @ 7c4d2eb4

History | View | Annotate | Download (594 Bytes)

1

    
2

    
3
type uri = string
4
type role = uri
5

    
6
type class_exp =
7
  | THING
8
  | NOTHING
9
  | NAMED   of uri
10
  | NOT     of class_exp
11
  | AND     of class_exp list
12
  | OR      of class_exp list
13
  | SOME    of role * class_exp
14
  | ALL     of role * class_exp
15
  | MIN     of int * role * class_exp
16
  | MAX     of int * role * class_exp
17
  (* TODO: | OneOf of  * formula *)
18

    
19
type axiom =
20
  (* class expression axioms *)
21
  | SUBCLASS of class_exp * class_exp
22
  | EQUIVALENTCLASSES of class_exp list
23
  | DISJOINTCLASSES of class_exp list
24

    
25
type ontology = axiom list
26

    
27
val string_of_class_exp : class_exp -> string
28