Hi Till - we are putting together some materials that we hope to have
ready sometime on Monday. (01)
(more below)
On 5/30/14 11:13 AM, Till Mossakowski wrote:
> Dear Tara, dear all,
>
> since you have suggested that the next OntoIop meeting should be devoted
> to query languages, I think we should start to prepare the meeting.
> First, we would need an overview of existing query languages that we
> would like to cover, e.g.: SPARQL, conjunctive queries for OWL, Prolog,
> .... What else to add to this list?
There are other query languages with more or less well-defined semantics
but I think it is only necessary to have enough prototypical examples to
represent a broad range of logics. (02)
The ones you have listed are a good start. It would be nice to have
something at the FOL level. Common Logic does not yet have a query
language. I don't know if TPTP (http://www.cs.miami.edu/~tptp/) is in
scope, but that is the only query language I know of at the FOL level.
>
> I think the challenge is then to find suitable abstractions that allow
> us to treat queries in a language independent way. Do you have some
> initial ideas about this in the API4KB group?
We have been working on an OWL ontology based on OntoIOp terminology
extended with some concepts needed for API4KB.
Also we have been looking at how this would be applied to define the
semantics of operations in API4KB and I will describe that with a few
slides.
> In the institution community, Razvan Diaconescu has developed some
> abstract notion of substitution that could help here, see the attached
> paper.
Thanks, I will take a look. (03)
Tara
>
> All the best,
> Till
> (04)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (05)
|