| fix restriction concept expressions |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| fix sample file |
|
More...
|
over 14 years ago
|
| un-inline string functions |
|
More...
|
over 14 years ago
|
| rearrange source |
|
More...
|
over 14 years ago
|
| generate axioms |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| node to string conversions |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| value conversion for literal nodes |
|
More...
|
over 14 years ago
|
| construct OWL-aware triple store by default |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| rename module |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| fix example: declare properties |
|
More...
|
over 14 years ago
|
| export TDLAxiom class from FaCT++ |
|
More...
|
over 14 years ago
|
| rearrange files |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| pretty-print triples for sample OWL files |
|
More...
|
over 14 years ago
|
| rename query term type "blank" to "any" |
|
More...
|
over 14 years ago
|
| generate axioms (in progress) |
|
More...
|
over 14 years ago
|
| print triples for all sample owl files |
|
More...
|
over 14 years ago
|
| short blank prefix |
|
More...
|
over 14 years ago
|
| generating axioms (in progress) |
|
More...
|
over 14 years ago
|