cliffxuan fuxi issues - Githubissues

cliffxuan / fuxi

Automatically exported from code.google.com/p/fuxi

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

N3 logic rules

#63 GoogleCodeExporter opened 9 years ago
0
dependency problem installing from pip

#62 GoogleCodeExporter opened 9 years ago
0
alternate Euler subclass ASK fails: { :i a :B } comes out False, should be True

#61 GoogleCodeExporter opened 9 years ago
0
Google Code / Github projects are missing info on which is the offical maintained repo.

#60 GoogleCodeExporter opened 9 years ago
0
Implement consequence-based classification querying of OWL 2 EL

#59 GoogleCodeExporter opened 9 years ago
1
Test suites need to be documented and harnesses updated to match latest changes

#58 GoogleCodeExporter closed 9 years ago
1
RIF Parsing does not support Member and Exists

#57 GoogleCodeExporter closed 9 years ago
3
What is the underlying reasons for not getting the same result

#56 GoogleCodeExporter closed 9 years ago
4
FuXi.Rete.SetupRuleStore needs to take namespace bindings as argument

#55 GoogleCodeExporter closed 9 years ago
1
FuXi cannot handle existentials in the head

#54 GoogleCodeExporter opened 9 years ago
1
Can't install FuXi with easy_install

#53 GoogleCodeExporter closed 9 years ago
2
Cannot import OWL from rdflib

#52 GoogleCodeExporter closed 9 years ago
2
Add documentation for ACE annotations in InfixOWL

#51 GoogleCodeExporter opened 9 years ago
0
Add documentation for hybrid predicates

#50 GoogleCodeExporter opened 9 years ago
0
Support for SPARQL distinguished variables over predicate positions

#49 GoogleCodeExporter opened 9 years ago
2
FuXi can produce proofs but doesn't do so as a native capability

#48 GoogleCodeExporter opened 9 years ago
0
Need harness for testing FuXi against W3C SPARQL 1.1 entailment regime tests

#47 GoogleCodeExporter closed 9 years ago
1
Project

#46 GoogleCodeExporter opened 9 years ago
1
Inconsistent query results under SLD, GMS and BFP

#45 GoogleCodeExporter closed 9 years ago
2
Inference produces incorrect answers?

#44 GoogleCodeExporter closed 9 years ago
2
Triclops depends on 4Suite-XML (needs port to Amara)

#43 GoogleCodeExporter closed 9 years ago
1
testOwl errors out under the gms strategy

#42 GoogleCodeExporter closed 9 years ago
1
registerReteAction should check the type of rule head

#41 GoogleCodeExporter closed 9 years ago
2
BetaNode clauseRepresentation breaks with empty rules...

#40 GoogleCodeExporter closed 9 years ago
3
BFP SPARQL Query mediation action needs memoization

#39 GoogleCodeExporter closed 9 years ago
1
There is not yet parity between BFP and SDL reasoning mechanisms

#38 GoogleCodeExporter opened 9 years ago
1
BFP reasoner does not combine atomic inclusion axioms (as SLD reasoner does)

#37 GoogleCodeExporter opened 9 years ago
0
Externally defined actions are hard to register

#36 GoogleCodeExporter closed 9 years ago
1
Invalid import (Parser) in layercake test code

#35 GoogleCodeExporter closed 9 years ago
1
Extensive latency when running testOwl.py --strategy=bfp

#34 GoogleCodeExporter closed 9 years ago
1
Missing easy_install setup script

#33 GoogleCodeExporter opened 9 years ago
0
Installation documentation on the wiki is dated and incomplete

#32 GoogleCodeExporter opened 9 years ago
0
Issue with constructor of FuXi.Horn.PositiveConditions.ExternalFunction

#31 GoogleCodeExporter opened 9 years ago
2
Issue with FuXi.SPARQL.EDBQuery.RunQuery and rdf:type as subject

#30 GoogleCodeExporter closed 9 years ago
1
sameAs reasoning not fully working in BFP method

#29 GoogleCodeExporter closed 9 years ago
2
RuntimeError: Set changed size during iteration

#28 GoogleCodeExporter closed 9 years ago
2
PDF links

#27 GoogleCodeExporter closed 9 years ago
1
No support for 2nd order predicates in top-down or GMS algorithms

#26 GoogleCodeExporter closed 9 years ago
1
Specialization (partial evaluation) of rules with second order predicates

#25 GoogleCodeExporter closed 9 years ago
1
owl:sameAs is not handled as symmetric

#24 GoogleCodeExporter closed 9 years ago
1
Add SPIN SPARQL RDFsyntax as output syntax for FuXi command-line

#23 GoogleCodeExporter opened 9 years ago
0
Deprecation warnings for sets and md5

#22 GoogleCodeExporter closed 9 years ago
1
Garbage characters in ConditionalAxioms.py

#21 GoogleCodeExporter closed 9 years ago
1
Garbage characters in ConditionalAxioms.py

#20 GoogleCodeExporter closed 9 years ago
1
Superproperty values are not inferred

#19 GoogleCodeExporter closed 9 years ago
2
Stray symbol in ConditionalAxioms.py

#18 GoogleCodeExporter closed 9 years ago
2
Bug in ReteNetwork.reset() with newInferredFacts

#17 GoogleCodeExporter closed 9 years ago
3
Test patch for InfixOWL

#16 GoogleCodeExporter closed 9 years ago
1
Residual concern with Issue 10 (June 4)

#15 GoogleCodeExporter closed 9 years ago
1
testUnionSkolemization: KeyError: u'owl'

#14 GoogleCodeExporter closed 9 years ago
3