8000 Integrate well-known ontologies for auto-complete · Issue #21 · eclipse/editdor · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Integrate well-known ontologies for auto-complete #21

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
vcharpenay opened this issue Jan 20, 2021 · 4 comments
Open

Integrate well-known ontologies for auto-complete #21

vcharpenay opened this issue Jan 20, 2021 · 4 comments

Comments

@vcharpenay
Copy link

I've started some tests to have auto-completion on @type. See vcharpenay/editdor-onto-integration.

Could you try to add the file schema.json to the editor and tell me if it has the expected behavior? Note that this is a preliminary test, where only a fixed list of labels are suggested for @type, regardless of a context and/or other annotations.
@vcharpenay
Copy link
Author

see also #8.

@fexpal
Copy link
Contributor
fexpal commented Feb 2, 2021

I´ve added it to the mapping file where you are able to add JSON-Schemafiles on your own.
It is done here on that branch:
https://github.com/eclipse/editdor/tree/feat/JSON-Schema-Enhancement
You should try it out locally.

@fexpal
Copy link
Contributor
fexpal commented Feb 16, 2021

We made some changes to the initial JSONSchema which can be found here:
https://github.com/eclipse/editdor/blob/feat/JSON-Schema-Enhancement/src/assets/saref.json

Still we got some problem when loading the JSONSchema, but I'm hoping this could be fixed easily.

@fennibay
Copy link
fennibay commented May 6, 2021

Will this include also a functionality like "go to definition"? For instance if I use a specific term from a certain context, could I jump to the linked ontology from my TD?

Or should I log a separate issue for this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@vcharpenay @fennibay @fexpal
0