[Attempto] generating OWL ontology

[Alireza]

Hi Norbert ,
You mean that the problem is due to anonymous Individuals?

When I tried just one sentence : "Process_1 is a process."
the output owl was correct, as follows:
  <owl:Thing rdf:about="#Process_1">
    <rdf:type>
      <owl:Class rdf:about="#process"/>
    </rdf:type>
  </owl:Thing>
As it denotes the process_1 is a type of process class.

On Wed, Apr 1, 2009 at 1:21 PM, Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20090401/f5163abb/attachment.htm>