Skip to content
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.

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

problems in ontology documentation #4

Open
4 of 5 tasks
VladimirAlexiev opened this issue Jun 27, 2023 · 2 comments
Open
4 of 5 tasks

problems in ontology documentation #4

VladimirAlexiev opened this issue Jun 27, 2023 · 2 comments
Assignees
Labels
bug Something isn't working documentation Improvements or additions to documentation

Comments

@VladimirAlexiev
Copy link
Contributor

VladimirAlexiev commented Jun 27, 2023

@maximelefrancois86
Copy link
Contributor

  1. solved in by #40d0c19 DefaultIndex is set to aec3po in .htaccess
  2. doesn't hold in current version
  3. I'll check that in the sourcecode of pyLODE. May fork if necessary.
  4. doesn't hold in current version
  5. issue in PyLODE: should be "( inverse of aec3po:hasDesign )"

maximelefrancois86 added a commit that referenced this issue Aug 31, 2023
@maximelefrancois86
Copy link
Contributor

for 3. -- named individuals need to be explicitly asserted as instances of owl:NamedIndividual for PyLODE to generate the corresponding section

AmnaKRDB added a commit that referenced this issue Oct 5, 2023
This to satisfy 3 in #4. However, the list on individuals doesn't show in the documentation.
@VladimirAlexiev VladimirAlexiev added bug Something isn't working documentation Improvements or additions to documentation labels Dec 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

2 participants