Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] translating a frame-based ontology into owl

Nacho Mayorga nmayorga at gmail.com
Wed Aug 29 11:56:26 PDT 2007


Hello,

I was wondering about the best or most proper way of translating an ontology
from core-Protégé (frames) into owl. Let me explain the intended use case a
bit:

- the source (lightweight) ontology represents the knowledge underlying
(every aspect of) a given software system, including both the system's model
and meta-model (as the sw system is meant to reflect changes in its own
model) [BTW, having a meta-model, I guess, prevented the automatic
translation, as some fillers were classes]

-  some (typically, n-ary) relations between instances are reified

- the target ontology should be able to answer the same queries as the
source was able to handle (as much as possible)

- instances in the source are to be added as individuals in the target, as
most of the queries would refer to instances, for instance,
     + how are particular instances related to each other?,
     + what are their slot fillers?,
     + does an arbitrary predicate holds for some selected instances or, the
other way round, which instances would satisfy a given predicate?

The practical issues I was pondering were:

      - is there any good way of representing (and dealing with!) a
meta-model? (such as proxy individuals representing the class as a singleton
pattern) while still staying within owl-DL?
      - the attributes are to be represented as properties (in owl), aren't
they?:
           + what about reified relations?:
               * how would they be best conveyed into owl?
               * would it be necessary to keep the reification or is there
any representation pattern worth exploring?
           + what if a slot-filler was a class?
      - could the predicates in the queries (as described above) be
represented as subsumption patterns/tests, so that a reasoner could check
out their satisfiability?

Help and comments would be greatly appreciated.

Thank you very much,

                                         Nacho
-- 
Nacho Mayorga
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070829/f1ecfa98/attachment.html>


More information about the protege-owl mailing list