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] Separating TBox and ABox

Jdisc Sobrename jdiscum at
Thu Nov 18 08:51:26 PST 2010

Thankyou Timothy!
I´ll ask in the OWL API list, and if there is no such implementation, I´ll follow your idea to do so...
best regards,

--- Em qua, 17/11/10, Timothy Redmond <tredmond at> escreveu:

De: Timothy Redmond <tredmond at>
Assunto: Re: [protege-owl] Separating TBox and ABox
Para: protege-owl at
Data: Quarta-feira, 17 de Novembro de 2010, 18:20


    On 11/17/2010 06:39 AM, Jdisc Sobrename wrote:
                    Sorry if the message arrived 2 times.


                    don´t have sure if I should use OWL API or
                    Protege-OWL API for this, but my question is, if I
                    want to separate the TBox and ABox, in a programing
                    level, can I do that?

    If you use the Manchester OWL api (, this
    would not be hard to develop.  There may very well be a utility
    somewhere for this but I am not sure where it is.  To develop it
    from scratch you think about the original ontology as a set of
    axioms.  Your job is to go through the axioms and decide which of
    these are tbox axioms and which of these are abox axioms.  By and
    large the choice will be determined by the type of axiom.  So
    OWLDataPropertyAssertionAxiom's and
    OWLObjectPropertyAssertionAxiom's would go in the abox and
    OWLSubClassOfAxiom's would go in the tbox.


    Roughly speaking, if I were to write this from scratch, I would

      open the source ontology and create the tbox and abox
      loop through sourceOntology.getAxioms()
        pass each axiom to an axiom visitor which would decide
          whether to add the axiom to a list of abox axioms or a list of
          tbox axioms
      add the collected changes to the tbox and abox ontologies
      save the tbox and abox ontologies
    For someone who is used to the Manchester OWL api this utility could
    be written very quickly.  It is very likely that there is a utility
    for this - probably in the OWL api.  You could ask this on the owl
    api mailing list page.






                    example, I can just use a method like:


                    then save them separatedly? Or I will loose some
                    references and need to keep them together?




protege-owl mailing list
protege-owl at

Instructions for unsubscribing:



-----Anexo incorporado-----

protege-owl mailing list
protege-owl at

Instructions for unsubscribing:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list