Skip to content

#87: OWLAxioms reimplementation #2

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
Closed
sszuev opened this issue Oct 20, 2019 · 1 comment
Closed

#87: OWLAxioms reimplementation #2

sszuev opened this issue Oct 20, 2019 · 1 comment
Labels
enhancement New feature or request

Comments

@sszuev
Copy link
Contributor

sszuev commented Oct 20, 2019

the source: https://github.com/avicomp/ont-api/issues/87
@sszuev sszuev added the enhancement New feature or request label Oct 20, 2019
sszuev added a commit that referenced this issue Oct 23, 2019
@sszuev
ont-api: add OWLDifferentIndividualsAxiom implementation + tests (issue
7cd802e 
#2)
sszuev added a commit that referenced this issue Oct 28, 2019
@sszuev
ont-api: add OWLSameIndividualAxiom implementation + fix and add test…
4298d16 
…s (issue #2)
sszuev added a commit that referenced this issue Nov 9, 2019
@sszuev
ont-api: add OWLDisjointObjectPropertiesAxiom model-implementation (i…
f2b7cdd 
…ssue #2) + add and change tests
sszuev added a commit that referenced this issue Nov 9, 2019
@sszuev
ont-api: add OWLEquivalentObjectPropertiesAxiom model-implementation …
4ab015e 
…(issue #2) + add/change tests
sszuev added a commit that referenced this issue Nov 10, 2019
@sszuev
ont-api: add OWLDisjointDataPropertiesAxiom model-impl (issue #2) + a…
f4ee853 
…dd/change tests
sszuev added a commit that referenced this issue Nov 10, 2019
@sszuev
ont-api: add OWLEquivalentDataPropertiesAxiom model-impl (issue #2) +…
699b179 
… add/change tests
sszuev added a commit that referenced this issue Nov 16, 2019
@sszuev
ont-api: add OWLDataPropertyDomainAxiom model-impl (issue #2) + add/c…
d181b5a 
…hange tests
sszuev added a commit that referenced this issue Nov 17, 2019
@sszuev
ont-api: add model-impl for OWLObjectPropertyDomainAxiom (#2) + add t…
c9cb6d8 
…ests
sszuev added a commit that referenced this issue Nov 17, 2019
@sszuev
ont-api: add model-impl for OWLAnnotationPropertyDomainAxiom (#2) + a…
45e351e 
…dd tests
sszuev added a commit that referenced this issue Nov 17, 2019
@sszuev
ont-api: add model-impl for OWLAnnotationPropertyRangeAxiom (#2) + ad…
55e1fa7 
…d tests
sszuev added a commit that referenced this issue Nov 17, 2019
@sszuev
ont-api: model-impl for OWLDataPropertyRangeAxiom (#2) + add tests
34ce6ed
sszuev added a commit that referenced this issue Nov 18, 2019
@sszuev
ont-api: add model-impl for OWLObjectPropertyRangeAxiom (#2) + add tests
090963e
sszuev added a commit that referenced this issue Nov 18, 2019
@sszuev
ont-api: add model-impl for OWLDatatypeDefinitionAxiom (#2) + add tests
93bfe15
sszuev added a commit that referenced this issue Nov 18, 2019
@sszuev
ont-api: add model-impl for OWLClassAssertionAxiom (#2) + add tests
2070778
sszuev added a commit that referenced this issue Nov 21, 2019
@sszuev
ont-api: add model-impl for SWRLRule axiom (issue #2), minor changes …
d43dcb2 
…in OWLObjectImpl, ONTStatementImpl, add and fix tests
@sszuev
Copy link
Contributor Author

sszuev commented Nov 21, 2019

done

@sszuev sszuev closed this as completed Nov 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sszuev