Protege-OWL 4.x Support

This forum is an archive for the mailing list p4-feedback@lists.stanford.edu (more options) Messages posted here will be sent to this mailing list.
This list is obsolete. Instead, please use protege-user or protege-dev.
1 ... 4849505152
Topics (1798)
Replies Last Post Views
owl imports via user interface uses ontology uri versus given location by Alan Ruttenberg-2
2
by Alan Ruttenberg-2
Cleaning ouput terminal by Alejandro Catalá
5
by Nick Drummond
Re: [protege-owl] Select multiple individuals in Protege 4.0 by Bo De Lange-2
2
by Bo De Lange-2
Print OWL vizualisation with protege 4.0 alpha. HELP by M. jack
5
by Nick Drummond
Bold font in Asserted Class Hierarchy by kralik
1
by Matthew Horridge
Re: p4-feedback Digest, Vol 21, Issue 17 by Rinke Hoekstra-4
0
by Rinke Hoekstra-4
manchester editor removes parenthesis when operator precedence agrees with them by Alan Ruttenberg-2
3
by Nick Drummond
Reasoner is sticky by Alan Ruttenberg-2
3
by Nick Drummond
Image or ANY export from OWLviz by kralik
0
by kralik
Uninstalled plugin cannot be removed from UI by Förhécz András
2
by Förhécz András
Patterns plugin; ValuePartition by M. jack
1
by Nick Drummond
Re: [protege-discussion] Probleme with "inverse property" by Nick Drummond
0
by Nick Drummond
Inferences based on functional properties not visible? by Rinke Hoekstra-4
1
by Nick Drummond
P4 alpha build 63: Cannot open P3.4 beta build 501 ontology by Liu, Richard-2
1
by Nick Drummond
Update problem with Class Annotations tab by Harold Solbrig
2
by Nick Drummond
Protege 4.0 Alpha update (build 63) by Jennifer Vendetti
3
by Nick Drummond
Close current set of ontologies effectively closes P4 by Rinke Hoekstra-4
1
by Nick Drummond
alphabetization of data and object properties by samsontu
1
by Nick Drummond
Language tags on annotations by Rinke Hoekstra-4
1
by Nick Drummond
Cancel button in Refactor window does not cancel by Rinke Hoekstra-4
1
by Nick Drummond
Classification by portas
1
by Nick Drummond
Automatic dublin core annotation of new entities by Andrew Gibson-2
3
by Nick Drummond
Longer property chains by portas
2
by Nick Drummond
Strange problem after reasoning by Lamia
13
by Nick Drummond
Bug Report: equivalent property statement for missing property by Holger Stenzhorn-2
1
by Nick Drummond
Retrieving information from Java ontology objects by secevalliv
1
by Nick Drummond
Protege4 & Pellet compatibility by Rinke Hoekstra-4
3
by Rinke Hoekstra-4
Multiple equivalent class restrictions vs. Intersections by Rinke Hoekstra-4
3
by Rinke Hoekstra-4
Deleting classes...and individuals by John Goodwin
2
by John Goodwin
Guided theorem prover/reasoner by Ahmed Abdeen Hamed
7
by Rinke Hoekstra-4
Individuals that participate in a relation with anonymous individuals of another class by Liu, Richard-2
1
by Nick Drummond
define individual properties by Jinyue
0
by Jinyue
Problem on defined classes, multiple sets of N-A conditions, and synonym by Jinyue
1
by Nick Drummond
Re: Problem with properties by Matthew Horridge
8
by Nick Drummond
Re: explanations by Simon Jupp
1
by Nick Drummond
1 ... 4849505152