W3C home > Mailing lists > Public > public-rif-comments@w3.org > December 2009

OntoBroker Implementation Report [Update]

From: Thomas Krekeler <krekeler@ontoprise.de>
Date: Thu, 3 Dec 2009 14:25:05 +0100
To: <public-rif-comments@w3.org>
Message-Id: <0LroEc-1OGDi705zK-013UW8@mrelayeu.kundenserver.de>
Hello,

find below an updated implementation report for OntoBroker.

Yours,
Thomas



1.  Your name, affiliation, and (optionally) the names of other people who
helped with the implementation.

Thomas Krekeler, ontoprise GmbH


2. The name of your system, a URL for its website (if any), and a
one-sentence description.

OntoBroker 5.3
http://www.ontoprise.de/en/home/products/ontobroker/
Semantic Web middleware, deductive database


3. Which dialects your software is designed to support (eg Core, BLD, PRD,
or non-standard extension dialects). We would appreciate some brief
commentary about why you chose these dialects, and what sorts of
implementation techniques (eg algorithms) are being used.

ObjectLogic Dialect (OBLD), refer to [1].
Dialect designed for ObjectLogic, ontoprise's F-logic 2 derivate.
Supports most BLD term and formula types plus some additional, in particular
default negation in rule bodies.


4. Do you believe your system currently conforms to the RIF Candidate
Recommendations? Does it pass all the test cases for your dialect(s)? If
not, which features does it lack and/or which test cases does it not yet
pass? Do you have plans to make it conformant, and make it pass all the test
cases?

OntoBroker 5.3 has been released in June 2009, the implementation has been
done some months before.
Some of the later changes haven been incorporated for the next OntoBroker
version, e.g. aggregates (even if only OntoBroker specific ones are
supported).

We are happy to see features like remote formulas, lists and constraints
which we like to adopt.
We also will make use of introducing new connectives for the schema part of
ObjectLogic, also we would even more like to see them predefined in FLD.
OntoBroker currently uses some special encodings for them as well as for
remote formulas, lists and constraints since these features have not been
available at the time of implementation.


5. Does it implement any parts of RIF RDF and OWL Compatibility? Any issues?

Neither RDF nor OWL imports are supported.


6. Did you implement the "at risk" features? If not, do you intend to, or do
you think we should remove them from RIF?

== 1-to-1 Lists ==
RDF imports are currently neither supported nor planed for OntoBroker.

== Equality in the rule conclusion  ==
OBLD doesn't allow equality in rule conclusions.
We don't intend to do so.
We would like to see this feature removed from BLD.

== Strictness Requirement ==
OntoBroker skips formulas which contain datatypes or built-ins it doesn't
support when importing a RIF document.
Currently OntoBroker has no explicit BLD or Core export.
The user has to remove/transform formulas not allowed for BLD/Core manually.
Thereby the strictness requirement is not fulfilled.
It is not planed, but we consider to implement it.

== Safeness ==
OWL imports are currently neither supported nor planed for OntoBroker.
If adding OWL support we would allow combinations only for which the
safeness restriction holds.

== Indexing from zero ==
The RIF implementation of OntoBroker 5.3 doesn't support built-ins at all.
The next version will support OntoBroker specific built-ins but no DTB
built-ins.
The OntoBroker specific built-ins typically start indexing from zero.


7. We'd appreciate your evaluation of whether the RIF Candidate
Recommendation is ready to proceed along the standards track toward being a
W3C Recommendation. If not, please be sure to tell us what problems you
think we need to address.

We would like to have F-logic 2 related built-ins ([1]) and formulas (e.g.
property range specifications) in DTB respectively FLD.
Besides that we think that the specification is in a good state and we don't
have any major issues.


8. Which datatypes & builtins do you support?

Supported datatypes are
rif:iri
rif:local (partial)
rif:text respectively rdf:PlainLiteral
xsd:string
xsd:double
xsd:decimal
xsd:integer
xsd:long
xsd:int
xsd:dateTime
xsd:date
xsd:time
xsd:duration
xsd:boolean

The RIF implementation of OntoBroker 5.3 doesn't support built-ins at all.
The next version will support OntoBroker specific built-ins but no DTB
built-ins.


References

[1]
http://www.ontoprise.de/help/topic/com.ontoprise.ontobroker.help/html/rif.ht
ml
[2] http://forum.projects.semwebcentral.org/forum-builtins.html
Received on Thursday, 3 December 2009 13:25:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 3 December 2009 13:25:35 GMT