- Various bug fixes
- Robust support for hybrid predicates (documentation on this is forthcoming)
- BFP is now essentially the primary reasoning method (Issue 38 notwithstanding)
- InfixOWL now has APIs for adding Attempto Controlled English (ACE) annotations to classes and predicates (documentation on this is forthcoming)
- Additional SPARQL 1.1 entailment tests now pass
CHANGELOG
990c69a789:- Adds proper skolemization of blank node classes when used with owl:inverseOf, owl:equivalentProperty, and owl:TransitiveProperty - Fixed and completed handling of hybrid predicates (i.e., predicates that are in both the IDB and the EDB) - Fixed generation of query predicates where arity is 2 and one of the terms are unbound ( so predicate_bf(..) is properly distinguished form predicate_fb(..) ) - fixed str:contains builtin function - added --hybridPredicate option to command line. Works like --idb/--edb but indicates predicates that are in both and can be used more than once. - Fixed adornment of rules to use a queue to handle new predicates to process - Takes advantage of the fixed way that the SPARQL prolog variables are passed around during the evaluation process - The default reasoning method for the topdown store is the BFP method - Added support for ACE annotations in InfixOWL (see: http://attempto.ifi.uzh.ch/site/docs/owl_to_ace.html): - AnnotatibleTerms.setupACEA
nnotations adds all the proper declaration for the annotation properties - Class.setupNounAnnotations takes a tuple of the form (CN_sgProp, CN_plProp) and adds the corresponding annotations for the classes - Property.setupVerbAnnotations takes a tuple of the form (TV_sgProp,TV_plProp,TV_vbg) and adds the corresponding annotations for the property6b5c33cacc:removed sld from --method (bfp is primary reasoning method)786cd4012b:- Added sameAs tests - Fixed syntax error in boolean combination (effecting usage of hybrid predicates) - Fixed handling of ground goals by top-down SPARQL store: in general and specific to hybrid predicates - Added rules to propagate rdfs:subClassOf to range of rdfs:range / rdfs:domain (for SPARQL 1.1 RDFS entailment tests) - Added RDFS axiomatic triples (for SPARQL 1.1 RDFS entailment tests) - Added rdf10 and rdfs11 to tests to skip (for SPARQL 1.1 RDFS entailment tests)c14860986b:- bumped version to 1.3
--
Chime Ogbuji
Sent with Sparrow
I tried to install new FuXi 1.3 ; but I'm lost . With FuXi, everytime
there's a new install procedure, with prerequisites, and prerequisites
of prerequisites :((( .
Moreover there are different versions of Python, of RDFlib, etc .
There are several sites : code.google.com , sourceforge .
Is this procedure up to date ?
http://code.google.com/p/fuxi/wiki/Installation_Testing
I suspect not, as the announce for 1.3 mentions pip .
Is it possible to provide an up to date installation procedure ?
I'm on Ubuntu 11.04, and I intend to use FuXi as a command line tool,
not as a library, if that's appropriate.
2011/9/7 Chime Ogbuji <chim...@gmail.com>:
> --
> You received this message because you are subscribed to the Google Groups "fuxi-discussion" group.
> To post to this group, send email to fuxi-di...@googlegroups.com.
> To unsubscribe from this group, send email to fuxi-discussi...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/fuxi-discussion?hl=en.
>
>
--
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/ - EulerGUI, a turntable GUI for Semantic Web +
rules, XML, UML, eCore, Java bytecode
+33 (0)6 89 16 29 52
chat : irc://irc.freenode.net#eulergui
--
Chime Ogbuji
Sent with Sparrow
On Thursday, September 8, 2011 at 4:36 AM, Jean-Marc Vanel wrote:
> Hi
>
> I tried to install new FuXi 1.3 ; but I'm lost . With FuXi, everytime
> there's a new install procedure, with prerequisites, and prerequisites
> of prerequisites :((( .
I haven't changed the installation procedure as part of the most recent revisions (which was mostly meant to get through bug fixes, many related to SPARQL 1.1 entailment). The main prerequisite complication has to do with the long-standing RDFLib disconnect. Unfortunately, I continue to be too busy to do anything about that since all the options are substantive.
> Moreover there are different versions of Python, of RDFlib, etc .
Per the main Google Code page, the primarily intended Python version is 2.5.1.
> There are several sites : code.google.com , sourceforge .
The main site is http://code.google.com/p/fuxi/ and has been for the last couple of major releases. Sourceforge is very dated and is not be linked from the google code site.
> Is this procedure up to date ?
> http://code.google.com/p/fuxi/wiki/Installation_Testing
Yes. This is the one I generally point people to and that is why it is linked from the installation section of the google code home page
> I suspect not, as the announce for 1.3 mentions pip .
That wiki doesn't mention pip. A prior version of it might have, perhaps. Where did you see mention of this?
> Is it possible to provide an up to date installation procedure ?
You should be ale to follow (http://code.google.com/p/fuxi/wiki/Installation_Testing). Let me know if you have problems, so I can address them and update the wiki if necessary.
> I'm on Ubuntu 11.04, and I intend to use FuXi as a command line tool,
> not as a library, if that's appropriate.
Yes, that is primarily how I use it, other than programmatically doing SPARQL reasoning stuff.
Thanks for your quick answer, and I'll try soon .
Which is the best procedure to install
python 2.5 on Ubuntu 11.04 or Debian latest ?
There is only 2.6 and 2.7.1+ on Ubuntu 11.04 .
Are there plans to upgrade to recent Python ?