search

own-pt / cl-krr

Environment for knowledge representation, reasoning, and engineering.
Apache License 2.0
4 stars 3 forks source link

SInE to prune the unprocessed axioms #18

Open arademaker opened 5 years ago

arademaker commented 5 years ago

See https://github.com/ontologyportal/sumo/issues/160. If @apease implemented it in Sigmakee we could at some point also implement it too.