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 yahoo.com.br
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,

João
--- Em qua, 17/11/10, Timothy Redmond <tredmond at stanford.edu> escreveu:

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



  

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

                  
              Hi,
              

                  
              I
                    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 (owlapi.sourceforge.net), 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
        ontologies
      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.

    

    -Timothy

    

    

    
      
        
          
            
              

                  
              For
                    example, I can just use a method like:
              

                  
              ontology.getAllIndividuals();
              

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

                  
              best
                    regards,
              

                  
              

                  
              João
            
          
        
      
      

       
      
_______________________________________________
protege-owl mailing list
protege-owl at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

    
    

  


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

_______________________________________________
protege-owl mailing list
protege-owl at lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20101118/48822c48/attachment.html>


More information about the protege-owl mailing list