289d272011
Closes #206 , closes #212 and closes #213
2015-04-15 15:11:30 -07:00
6b6fc735e9
Move plugin.xml into resources folder
2015-04-03 14:46:14 -07:00
d94a580ebf
Rename files OWLDescriptionChecker.java and OWLDescriptionSetChecker.java to match the classes they contain. This stops maven from recompiling every single java file every single time.
...
This wasn't getting flagged as an error, because the classes are package local in scope (if they had been public, there would have been complaints).
2015-04-02 13:34:21 -07:00
6beb7d9d3b
Remove spurious import of unused, private class com.sun.org.apache.xpath.internal.operations.Bool
2015-04-02 13:31:37 -07:00
10909aadcc
Closes #193
2015-04-01 16:14:09 -07:00
c5003ce07a
Tidied nav panel
2015-04-01 15:49:19 -07:00
556e45e9f5
Closes #189 and closes #146
...
- Replaced find field with a search button that displays a moveable,
resizable non-modal search dialog.
2015-04-01 15:48:59 -07:00
6835850f7d
Closes #192
2015-03-31 17:01:38 -07:00
320a43a837
Closes #188
2015-03-31 16:37:43 -07:00
5d2cbcbc4a
Removed cruft
2015-03-31 16:25:54 -07:00
84a4b464ea
Closes #176
2015-03-30 17:00:53 -07:00
b5f9b587c9
catching and ignoring UnsupportedOperationException when executing
...
reasoner
2015-03-22 21:49:24 +01:00
d142216820
non-buffering change lister: a better detection if changes may have
...
effect on reasoning results (only those applied to ontologies in the
import closure may have)
2015-03-22 21:49:23 +01:00
31aafd4bbb
[maven-release-plugin] prepare for next development iteration
2015-03-17 16:14:00 -07:00
5ba6db297d
[maven-release-plugin] prepare release protege-parent-5.0.0-beta-17
2015-03-17 16:13:57 -07:00
62d8655078
Fixes #156
...
Reload menu changed from “R” to “shift R”
2015-03-16 09:13:16 -07:00
984f6afc90
Closes #152
...
Added a “Reload” item to the File Menu. If the user has modified the
ontology but not saved it then they get a prompt warning them that they
will lose unsaved changes.
2015-03-13 16:22:28 -07:00
db999c2375
[maven-release-plugin] prepare for next development iteration
2015-03-10 18:57:02 -07:00
0741e94f63
[maven-release-plugin] prepare release protege-parent-5.0.0-beta-16
2015-03-10 18:56:59 -07:00
17e144efad
[maven-release-plugin] rollback the release of protege-parent-5.0.0-beta-16
2015-03-10 18:38:29 -07:00
79582d40db
[maven-release-plugin] prepare for next development iteration
2015-03-10 18:35:48 -07:00
92d491b43e
[maven-release-plugin] prepare release protege-parent-5.0.0-beta-16
2015-03-10 18:35:45 -07:00
5cfdbcbb82
Beginnings of a combined property hierarchy
2015-03-10 13:36:34 -07:00
990702e491
Closes #142
2015-03-10 10:56:15 -07:00
a41021a65b
Some tidying
2015-03-10 07:27:36 -07:00
78ea6c24e6
Fixes #104
...
All references are now removed, including annotation assertions and
ontology annotations that reference IRIs that are equal to the IRI of
the entity being deleted.
2015-03-08 19:09:33 -07:00
074a292d06
Fixes #143
2015-03-08 18:37:57 -07:00
799459d48e
Reverted selection change
2015-03-06 15:12:21 -08:00
8199d1a3f6
Render with insets
2015-03-06 11:47:12 -08:00
95ab23cda6
Allow selection of any kinds of objects from the list not just entities
2015-03-06 07:36:11 -08:00
019d1457ce
Added generics to JList that is extended by OWLObjectList
2015-03-06 07:05:41 -08:00
71d9d5287f
Removed garbage comments
2015-03-06 06:52:42 -08:00
1b5e6f3277
Closes #141
2015-03-06 06:51:53 -08:00
1359c978fa
Closes #110
2015-03-06 06:43:25 -08:00
06dfb1a691
Fixes #105
2015-03-06 06:41:20 -08:00
47df24cd77
Minor cosmetic change to arrow in status bar
2015-03-06 06:30:41 -08:00
5d825a65d9
Fixes #131
...
The model manage now listens for reasoner preference changes and fires
an ONTOLOGY_CLASSIFIED event when the preferences change. This has the
desired effect (and is o.k. since Yevgeny changed the inferred
hierarchy to prevent it from collapsing on this event).
2015-03-06 06:24:45 -08:00
f6fc8c9199
Tidy of status panel
2015-03-06 06:14:57 -08:00
c4bb0ff7d3
URI to IRI in UI labels
2015-03-05 16:15:05 -08:00
4244093f70
URI -> URL
2015-03-05 16:13:54 -08:00
f42c8dcb3c
URI -> IRI
2015-03-05 16:12:19 -08:00
2f5241ba20
Reverting to original build numbers
...
Maven build numbers follow the following pattern apparently:
<major>.<minor>.<patch>-<qualifier>-<build number>
i.e. 5.0.0-beta-15 vs 5.0.0-beta.15
2015-03-05 13:48:36 -08:00
036cf6de82
Closes #110
2015-03-05 12:31:06 -08:00
56eb8cf59b
Fixes #117
2015-03-05 12:26:47 -08:00
9ee99bb040
Fixes #120
2015-03-05 12:06:21 -08:00
7cf2bac24d
Closes #140
2015-03-05 11:33:22 -08:00
0b55af9fc1
Removed stray System.out.println
2015-03-05 11:23:26 -08:00
bced6e101e
Fixes #139
...
Changed version from 5.0.0-beta-16-SNAPSHOT to suggested
5.0.0-beta.16-SNAPSHOT.
2015-03-05 11:16:44 -08:00
9790e44d5f
OWLObjectTree: retaining the current selection when reloading
...
this should prevent the inferred class hierarchy from collapsing after
reclassification: a (possibly new path) for the selected object will be
expanded.
2015-02-25 17:30:57 +01:00
883119b805
Addressing #128
...
moved the OWLOntologyChangeListener from
InferredOWLClassHierarchyProvider to OWLReasonerManagerImpl and issuing
fireReclassified() in case of logical axiom changes plus import changes
(which were ignored before). This way all inferences in the UI should be
updated, not only the inferred class hierarchy.
Not sure the code was/is safe to guarantee that the reasoner processes
changes before fireReclassified() because OWLManager processes listeners
in undefined order. I do not think calling this method within
SwingUtilities.infokeLater() makes it safe.
2015-02-24 22:58:28 +01:00
Matthew Horridge