W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2009

Updates to FuXi

From: Chimezie <chimezie@gmail.com>
Date: Wed, 29 Apr 2009 14:28:01 -0700 (PDT)
Message-ID: <57fdc4c0-4821-4457-8a4d-f6738dca5fba@p6g2000pre.googlegroups.com>
To: fuxi-discussion <fuxi-discussion@googlegroups.com>
Cc: public-cwm-talk@w3.org
A few bugfixes, and minor features were committed to FuXi on trunk.
The FuXi.Rete.Util.renderNetwork method (which uses pydot to render a
graph of a given Rete network) was updated to fix problems with the
rendering of built-ins.  The diagram now also includes the number of
times a terminal node (or rule) was fired if the network has been fed
with RDF statements.  The registration of additional user-specified
built-ins was fixed.  A warning was added for when ReteNetwork objects
are instantiated with a rule store that has already been populated
with rules.  The preferred way to do this is:

    from FuXi.Horn.HornRules import NetworkFromN3
    graph = ConjunctiveGraph()
    graph.load(ruleStream, format='n3')
    network = NetworkFromN3(graph,
                            additionalBuiltins={.. additional user-
builtins ..})

NetworkN3 was added to support the common scenario of simply creating
a Network from a given N3 RDF graph.  A fix was added that addressed
an inconsistent bug with N3 rules that have builtins, where setting up
the built-ins on a network was depending on the built-in being at the
end of consequent of a rule.  Since RDFLib in-memory graphs do not
guarantee maintaining the serialization order, this was problematic.
A test case was added.

Finally InfixOwl was updated to include the ability to delete the
subClassOf, complementOf, etc.. descriptors on Class and Property
objects.  So:

  del infixClass.subClassOf

Is the equivalent of:


I.e., it removes all the subClassOf axioms associated with the class
object.  Deletion descriptors were added for the following attributes
(the corresponding OWL/RDFS properties managed by these descriptors
are in parenthesis):

- type (rdf:type)
- comment / seeAlso / label / subClassOf / domain / range / ... etc...
(rdfs:comment, etc..)
- imports (owl:imports on Ontology objects)
- equivalentClass / disjointWith / complementOf / onProperty /
allValuesFrom / hasValue / cardinality / ... etc..
(owl:equivalentClass, etc.)

For more information on these descriptors you can read my OWLED 2008
submission regarding InfixOWL:


I still have yet to update the user manual to reflect the recent
changes and hope to do this shortly

-- Chimezie
Received on Wednesday, 29 April 2009 21:28:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:06 UTC