-
Notifications
You must be signed in to change notification settings - Fork 1
/
NEWS
84 lines (49 loc) · 2.06 KB
/
NEWS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
This is OCML version 7.5. It is a development branch of OCML.
* Changes since OCML 7.3
** Support for namespaces.
** Ontologies can be loaded from arbitrary places.
The new variable *ontology-path* contains a list of directories
to be searched for ontologies.
** Language translation
*** Unified KR lanaguage translation interface.
*** New OCML -> OWL translator.
*** New XML and XSD to OCML translators.
** New user manual.
Based on material from Enrico Motta’s book ‘Reusable Components for
Knowledge Modelling’, IOS Press, ISBN 1-58603-003-5.
** API.
*** New with-ontology and with-ocml-thread-safety macros.
*** Constants use +foo+ naming scheme.
** Configuration and test
*** Test cases.
*** ASDF system definition.
*** Ports.
OCML now works on Lispworks (4 and 5), SBCL (various recent versions),
and Allegro (Express 8.1).
** Bug fixes.
*** Slot types are correctly computed for forward-referenced types.
* Changes in OCML 7.3
** Export from OCML to RDF(S).
Use function TRANSLATE-OCML-ONTOLOGY-TO-RDFS to generate RDF(S) from
OCML.
* Changes in OCML 7.0
** Fully implemented constraint checker.
This verifies that all type and cardinality restrictions are satisfied
by a KB. In addition it also checks constraint expressions specified
using either :constraint or :iff-def keywords. These expressions can
be associated with classes, slots or standard relations.
Functions ENABLE-CONSTRAINT-CHECKING and DISABLE-CONSTRAINT-CHECKING
switch constraint checking on and off. By default the mechanism is off.
see file OCML:EXPERIMENTAL;CONSTR_CHECK_EX.LISP for an example of
using the constraint checker.
** Forward chainer gets
Changes to the forward chainer which allows rules to fire in 'watcher
mode', as soon as assertions trigger them, as well as by explicit
program call (i.e., explicit invocations of function run).
Set *fc-in-watcher-mode* to T to enable 'watcher mode'.
** Export from OCML to Ontolingua.
Use function TRANSLATE-OCML-ONTOLOGY-TO-ONTOLINGUA to generate an
Ontolingua spec from an OCML ontology.
Local Variables:
mode: outline
End: