Skip to content

Issues: vangelisv/thea

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

19 Open 15 Closed
19 Open 15 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

fix for: translate_IRIs/1 duplicates axioms
#37 opened Apr 21, 2020 by RdR1024
Saving plsyn to file instead of stdio
#36 opened Apr 21, 2020 by RdR1024
Suspicious call: unification will succeed without any variable bindings
#34 opened Sep 13, 2019 by pmoura
Suspicious call: unification will succeed without any variable bindings
#33 opened Sep 13, 2019 by pmoura
No matching clause for goal: zeroOrMore(',',facetRestrictionValue(A),B,C)
#32 opened Sep 11, 2019 by pmoura
No matching clause for goal: zeroOrMore(or,dataConjunction(A),B,C)
#31 opened Sep 11, 2019 by pmoura
Typo in first argument of call to predicate owl_as2prolog/3
#30 opened Sep 11, 2019 by pmoura
Test is always true
#28 opened Aug 7, 2019 by JanWielemaker
Improve installation documentation
#25 opened Apr 1, 2016 by cmungall
XSB compatibility
#24 opened Aug 12, 2011 by SEssaid
1
rdf:type of anonymous class expressions
#23 opened Feb 10, 2011 by cmungall
Proposal: alternative lnterface for serializing into OWL formats
#22 opened Nov 21, 2010 by Kaljurand
6
use swrl rules in owl2_rl_rules
#19 opened Nov 14, 2010 by cmungall
1
owl2_from_rdf tidy-up
#18 opened Aug 9, 2010 by cmungall
1
parsing of ontologyAxiom/2
#17 opened Jul 3, 2010 by cmungall
2
add support for xml catalogs
#13 opened May 26, 2010 by cmungall
3
owl2_from_rdf does not work on 5.10.0
#12 opened May 26, 2010 by cmungall
1
make owl2_from_rdf_utils a module
#10 opened Apr 2, 2010 by cmungall
Add options to the save functions (normally via the rdf_save/2 options).
#4 opened Nov 26, 2009 by vangelisv
ProTip! Find all open issues with in progress development work with linked:pr.