[Attempto] generating OWL ontology

[Norbert E. Fuchs]

On 31 Mar 2009, at 22:41, Alireza wrote:

> On Mon, Mar 30, 2009 at 7:32 PM, Kaarel Kaljurand  
> <kaljurand at gmail.com> wrote:
> Hi,
>
> I would write it like this:
>
> Process_1 is a process.
> Software_1 is a technology.
> Every technology is a resource.
> Every process has a resource.
> Process_1 has Software_1.
>
> This means that "Process_1" and "Software_1" are individuals,
> and "process", "technology", "resource" are classes,
> and "have" is an object property.
>
> This text would create no anonymous individuals (which the nodeID is  
> for
> in RDF/XML).
>
>
>
> Hi,
> Thanks for you instant and complete answer.
> As you can see in the picture, http://itman01.persiangig.ir/images/Clip_5.jpg
> the above sentences assert Process_1 and Software_1 as instances of  
> Thing class, while I need to assert them as individuals for Process  
> and Technology classes , respectively. Is it possible?

Submitting the above text to the APE web-client with "OWL FSS" set I get

Ontology(
    http://attempto.ifi.uzh.ch/ontologies/owlswrl/test
    Declaration(
       Individual(:Process_1)
    )
    Declaration(
       Individual(:Software_1)
    )
    ClassAssertion(
       Class(:process)
       AnonymousIndividual(831996676877295440)
    )
    SameIndividual(
       Individual(:Process_1)
       AnonymousIndividual(831996676877295440)
    )
    ClassAssertion(
       Class(:technology)
       AnonymousIndividual(992989406498386397)
    )
    SameIndividual(
       Individual(:Software_1)
       AnonymousIndividual(992989406498386397)
    )
    SubClassOf(
       Class(:technology)
       Class(:resource)
    )
    SubClassOf(
       Class(:process)
       ObjectSomeValuesFrom(
          ObjectProperty(:have)
          Class(:resource)
       )
    )
    ObjectPropertyAssertion(
       ObjectProperty(:have)
       Individual(:Process_1)
       Individual(:Software_1)
    )
)

    --- nef