W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2010

Re: Implementations of LCS for OWL

From: Alan Rector <rector@cs.man.ac.uk>
Date: Thu, 29 Apr 2010 12:08:22 +0100
Cc: Owl Dev <public-owl-dev@w3.org>, sonic@tcs.inf.tu-dresden.de
Message-Id: <96356990-84EE-4EEF-B1F9-B1D9F0E70445@cs.man.ac.uk>
To: Chris Mungall <cjm@berkeleybop.org>

Can you define your use case a bit more clearly?

Are you trying to find the simplest expression for a defined class  
that would be guaranteed to subsume both C and D (excluding simply C  
or D)?
If so is the interest in finding the subsumer or in the structure of  
the expressions in the definition

Are you intrested only in named classes?

e.g. C=B & r some Q
        D=B & r some S

A = B & r some (Q or S)

or do you care about the named subsumers of Q and S.

(I won't have a solution, but I am curious as to what the problem is?)

Or there's the least common named subsumer in the inferred  
classification lattice
using lattice theoretical tools, but I presume that is not what you  
are asking or
you wouldn't be asking it.



On 28 Apr 2010, at 04:18, Chris Mungall wrote:

> I'm looking for efficient implementations of the LCS (least common  
> subsumer) function for OWL. The function take two classes or class  
> expressions C, D and return the minimal class or class expression  
> that subsumes both. Obviously this excludes UnionOf constructs used  
> in the results. Intersection and existential restrictions would be  
> fine.
> I see there's a vast literature on this going back to the earliest  
> days of DL systems, but surprisingly little in the way of  
> implementations.
> The only implementation I'm aware of is SONIC:
> 	http://wwwtcs.inf.tu-dresden.de/~sonic/
> But this has two drawbacks from my perspective:
> * It's not open source, and requires non-open source tools
> * It looks like it's not maintained (the installation instructions  
> say that OilEd is required)
> Ideally the implementation would be open source and well-integrated  
> with current tools (e.g. works with the OWLAPI and/or OWLlink). I'd  
> be willing to work a little on the plumbing, but not for closed  
> source tools.

Alan Rector
Professor of Medical Informatics
School of Computer Science
University of Manchester
Manchester M13 9PL, UK
TEL +44 (0) 161 275 6149/6188
FAX +44 (0) 161 275 6204
Received on Thursday, 29 April 2010 12:14:15 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC