GitHub · Where software is built

Labels Milestones New issue

alternate Euler subclass ASK fails: { :i a :B } comes out False, should be True

Priority-Medium

#61

· GoogleCodeExporter opened

on Jun 28, 2015

dependency problem installing from pip

Priority-Medium

#62

· GoogleCodeExporter opened

on Jun 28, 2015

N3 logic rules

Priority-Medium

#63

· GoogleCodeExporter opened

on Jun 28, 2015

Implement consequence-based classification querying of OWL 2 EL

Type-Enhancement

#59

· GoogleCodeExporter opened

on Jun 28, 2015

Google Code / Github projects are missing info on which is the offical maintained repo.

Priority-Medium

#60

· GoogleCodeExporter opened

on Jun 28, 2015

FuXi cannot handle existentials in the head

#54

· GoogleCodeExporter opened

on Jun 28, 2015

Add documentation for hybrid predicates

Priority-Medium

#50

· GoogleCodeExporter opened

on Jun 28, 2015

Add documentation for ACE annotations in InfixOWL

#51

· GoogleCodeExporter opened

on Jun 28, 2015

FuXi can produce proofs but doesn't do so as a native capability

Priority-Medium

Type-Enhancement

#48

· GoogleCodeExporter opened

on Jun 28, 2015

Support for SPARQL distinguished variables over predicate positions

Priority-Medium

#49

· GoogleCodeExporter opened

on Jun 28, 2015

Project

Priority-Medium

#46

· GoogleCodeExporter opened

on Jun 28, 2015

BFP reasoner does not combine atomic inclusion axioms (as SLD reasoner does)

Type-Enhancement

#37

· GoogleCodeExporter opened

on Jun 28, 2015