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

Implementations of LCS for OWL

From: Chris Mungall <cjm@berkeleybop.org>
Date: Tue, 27 Apr 2010 20:18:01 -0700
Message-Id: <C5B7322E-8B69-41F6-A506-25D9CF289EF9@berkeleybop.org>
To: Owl Dev <public-owl-dev@w3.org>
Cc: sonic@tcs.inf.tu-dresden.de
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  

The only implementation I'm aware of is 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  
Received on Wednesday, 28 April 2010 06:31:33 UTC

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