Re: Define more than Subject-Predicate-Object

>> However I would argue that this is not an entirely natural
>> viewpoint.  Say we look at a statement like
>>
>> 	MyFavoritePizza = Pizza and (hasTopping some SausageTopping) and
>> (hasBase all ThinAndCrispyBase).
>>
>> It is possible to express the semantics  of such a statement in terms
>> of triples.  But I would argue that the more natural semantics is the
>> direct model  theoretic semantics (http://www.w3.org/TR/owl- 
>> semantics/
>> direct.html).

> But I still don't understand what do you mean with the direct model  
> theoretic semantics.
> I've not read about it, but I'll do later.

Say I have a statement that says

	CheeseyPizza = Pizza and (hasTopping some CheeseTopping).

The simplest way to explain its meaning is to  build up the meaning  
piece by piece.  So we define the meaning of the above statement in  
the following steps:

	(hasTopping some CheeseTopping) is  the set of all things that has  
some topping CheeseTopping

	Pizza and (hasTopping some CheeseTopping) is the set of all things  
that are in Pizza and are also in (hasTopping some CheeseTopping)

Re: how can I retrieve instance of ontologyby Protege-OWL API?

Hi, Thomas,

Thanks. I will try.

Regards,
Hong

-----Original Message-----
From: protege-owl-bounces <at> mailman.stanford.edu
[mailto:protege-owl-bounces <at> mailman.stanford.edu] On Behalf Of Thomas Russ
Sent: 30 April 2007 19:54
To: User support for the Protege-OWL editor
Subject: Re: [protege-owl] how can I retrieve instance of ontologyby
Protege-OWL API?

On Apr 30, 2007, at 10:04 AM, hong wrote:

> Hi, Martin,
>
> Thank you very much for your reply. SWRL query is a very good way  
> to resolve
> my problem. However, I am still curious to know how Protégé-OWL API  
> can get
> instance of the class with specified values of the properties. I  
> did refer
> to Protégé-OWL API java doc, but I didn't find the API which has such
> functions. I notice that OWLNamedClass has method
> getInstances (Boolean includingSubclasses), but it seems not to be the
> appropriate one. Could you please specify, if possible, which API I  
> should

how to save changes after creating a new class on the owl file

_______________________________________________
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 

How to write nested conditions in rules using JessTab ?

_______________________________________________
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 

Re: how to save changes after creating a new class on the owl file

_______________________________________________
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 

2007 Protege Conference: Deadline Extension

Dear Protege Users,

We have received a number of requests for an extension to the submission deadline for presentations at the
Protege Conference. In response, we have decided to extend the deadline to Tuesday, May 8th. Please see
the following URL for details:

http://protege.stanford.edu/conference/2007/cfp.html

We look forward to your submissions and to seeing you in July.

The Protege Team

_______________________________________________
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 

Trouble in using "hasValue" in SWRL+Jess

Hi,

  I tried a small example attached in the end of this mail, but
SWRL+Jess did not recognize values defined by "hasValue".  Is it a
bug or does it have a reason?

  Concretely, classes and instances are defined as follows.

    - "Test1" is a class with the condition "property1 min 1".
    -- "Test1_1" is an instance of "Test1" with "TestValue1" and
       "TestValue2" as "property1" values.
    - Test1a is a subclass of Test1 with the condition "property1
      has TestValue3".
    -- "Test1a_1" is an instance of "Test1a" with "TestValue4" and
       already defined "TestValue3" as a "property1" value.
    -- "Test2" is a class for generating new instances in this
       example.

With this configuration, when I run the SWRL rule below,

    Test1(?t1) & property1(?t1, ?x) & 
    swrlx:createOWLThing(?t2, ?t1, ?x) ->
      Test2(?t2) & property2(?t2, ?x)

Only 3 instances are generated corresponding to "TestValue1",
"TestValue2", and "TestValue4".  An instance corresponding to
"TestValue3" is not generated.

  In the OWL file "TestValue3" appears only in the class definition,
so I suspect that this causes the problem.

Best Regards,

--

-- 
MITSUISHI Yutaka

_______________________________________________
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 

Re: [protege-owl]Trouble in using "hasValue" in SWRL+Jess

  I forgot to attach the OWL file.

<?xml version="1.0"?>
<rdf:RDF
    xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
    xmlns:temporal="http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#"
    xmlns:abox="http://swrl.stanford.edu/ontologies/built-ins/3.3/abox.owl#"
    xmlns:query="http://swrl.stanford.edu/ontologies/built-ins/3.3/query.owl#"
    xmlns:swrl="http://www.w3.org/2003/11/swrl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:swrlx="http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://www.owl-ontologies.com/Ontology1177499682.owl#"
    xmlns:tbox="http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl#"
  xml:base="http://www.owl-ontologies.com/Ontology1177499682.owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://swrl.stanford.edu/ontologies/built-ins/3.3/query.owl"/
>
    <owl:imports rdf:resource="http://swrl.stanford.edu/ontologies/built-ins/3.3/abox.owl"/>

    <owl:imports rdf:resource="http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl"/>

    <owl:imports rdf:resource="http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl"/
>
    <owl:imports rdf:resource="http://www.w3.org/2003/11/swrlb"/>
    <owl:imports rdf:resource="http://www.w3.org/2003/11/swrl"/>
  </owl:Ontology>
  <owl:Class rdf:ID="TestValue"/>
  <owl:Class rdf:ID="Test1">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:minCardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="property1"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Test1a">
    <rdfs:subClassOf rdf:resource="#Test1"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue>
          <TestValue rdf:ID="TestValue3"/>
        </owl:hasValue>
        <owl:onProperty rdf:resource="#property1"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Test2">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="property2"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <swrl:Variable rdf:ID="yStart"/>
  <swrl:Variable rdf:ID="numberOfCycle"/>
  <swrl:Variable rdf:ID="startTemp"/>
  <swrl:Variable rdf:ID="a1"/>
  <swrl:Variable rdf:ID="xDuration"/>
  <TestValue rdf:ID="TestValue2"/>
  <swrl:Variable rdf:ID="yDuration"/>
  <swrl:Variable rdf:ID="cycleTrigger"/>
  <swrl:Imp rdf:ID="Rule1">
    <swrl:head>
      <swrl:AtomList>
        <rdf:first>
          <swrl:ClassAtom>
            <swrl:classPredicate rdf:resource="#Test2"/>
            <swrl:argument1>
              <swrl:Variable rdf:ID="t2"/>
            </swrl:argument1>
          </swrl:ClassAtom>
        </rdf:first>
        <rdf:rest>
          <swrl:AtomList>
            <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
            <rdf:first>
              <swrl:IndividualPropertyAtom>
                <swrl:argument1 rdf:resource="#t2"/>
                <swrl:propertyPredicate rdf:resource="#property2"/>
                <swrl:argument2>
                  <swrl:Variable rdf:ID="x"/>
                </swrl:argument2>
              </swrl:IndividualPropertyAtom>
            </rdf:first>
          </swrl:AtomList>
        </rdf:rest>
      </swrl:AtomList>
    </swrl:head>
    <swrl:body>
      <swrl:AtomList>
        <rdf:rest>
          <swrl:AtomList>
            <rdf:rest>
              <swrl:AtomList>
                <rdf:first>
                  <swrl:BuiltinAtom>
                    <swrl:arguments>
                      <rdf:List>
                        <rdf:rest>
                          <rdf:List>
                            <rdf:first>
                              <swrl:Variable rdf:ID="t1"/>
                            </rdf:first>
                            <rdf:rest>
                              <rdf:List>
                                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syn
tax-ns#nil"/>
                                <rdf:first rdf:resource="#x"/>
                              </rdf:List>
                            </rdf:rest>
                          </rdf:List>
                        </rdf:rest>
                        <rdf:first rdf:resource="#t2"/>
                      </rdf:List>
                    </swrl:arguments>
                    <swrl:builtin rdf:resource="http://swrl.stanford.edu/ontologies/built-in
s/3.3/swrlx.owl#createOWLThing"/>
                  </swrl:BuiltinAtom>
                </rdf:first>
                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
              </swrl:AtomList>
            </rdf:rest>
            <rdf:first>
              <swrl:IndividualPropertyAtom>
                <swrl:argument1 rdf:resource="#t1"/>
                <swrl:argument2 rdf:resource="#x"/>
                <swrl:propertyPredicate rdf:resource="#property1"/>
              </swrl:IndividualPropertyAtom>
            </rdf:first>
          </swrl:AtomList>
        </rdf:rest>
        <rdf:first>
          <swrl:ClassAtom>
            <swrl:classPredicate rdf:resource="#Test1"/>
            <swrl:argument1 rdf:resource="#t1"/>
          </swrl:ClassAtom>
        </rdf:first>
      </swrl:AtomList>
    </swrl:body>
  </swrl:Imp>
  <swrl:Variable rdf:ID="a22"/>
  <swrl:Variable rdf:ID="xStart"/>
  <swrl:Variable rdf:ID="diff"/>
  <Test1a rdf:ID="Test1a_1">
    <property1>
      <TestValue rdf:ID="TestValue4"/>
    </property1>
  </Test1a>
  <swrl:Variable rdf:ID="schedule"/>
  <Test1 rdf:ID="Test1_1">
    <property1>
      <TestValue rdf:ID="TestValue1"/>
    </property1>
    <property1 rdf:resource="#TestValue2"/>
  </Test1>
  <swrl:Variable rdf:ID="p"/>
  <swrl:Variable rdf:ID="eventStart"/>
  <swrl:Variable rdf:ID="d"/>
  <swrl:Variable rdf:ID="duration"/>
  <swrl:Variable rdf:ID="yEnd"/>
  <swrl:Variable rdf:ID="a21"/>
  <swrl:Variable rdf:ID="start"/>
  <swrl:Variable rdf:ID="component"/>
  <swrl:Variable rdf:ID="event"/>
  <swrl:Variable rdf:ID="xEnd"/>
  <swrl:Variable rdf:ID="yNewEnd"/>
  <swrl:Variable rdf:ID="end"/>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin 3.3, Build 394)  http://protege.stanford.edu -->

_______________________________________________
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 

Re: Trouble in using "hasValue" in SWRL+Jess

As mentioned in [1], the SWRLTab bridge currently supports a subset of OWL
restrictions. The owl:hasValue restriction that you use in your example is
not supported. Correctly inferring that the 'Test1a_1' individual has a
value of 'TestValue3' would require Skolemization [2]. 

Martin

[1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLRuleEngineBridgeFAQ#nid6QL
[2] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLRuleEngineBridgeFAQ#nid6PG

-----Original Message-----
From: protege-owl-bounces <at> lists.stanford.edu
[mailto:protege-owl-bounces <at> lists.stanford.edu] On Behalf Of
yutaka4ml <at> mail.goo.ne.jp
Sent: Tuesday, May 01, 2007 9:22 PM
To: protege-owl <at> lists.stanford.edu
Subject: [protege-owl] Trouble in using "hasValue" in SWRL+Jess

Hi,

  I tried a small example attached in the end of this mail, but
SWRL+Jess did not recognize values defined by "hasValue".  Is it a
bug or does it have a reason?

  Concretely, classes and instances are defined as follows.

    - "Test1" is a class with the condition "property1 min 1".
    -- "Test1_1" is an instance of "Test1" with "TestValue1" and
       "TestValue2" as "property1" values.
    - Test1a is a subclass of Test1 with the condition "property1
      has TestValue3".
    -- "Test1a_1" is an instance of "Test1a" with "TestValue4" and
       already defined "TestValue3" as a "property1" value.
    -- "Test2" is a class for generating new instances in this
       example.

With this configuration, when I run the SWRL rule below,

    Test1(?t1) & property1(?t1, ?x) & 
    swrlx:createOWLThing(?t2, ?t1, ?x) ->
      Test2(?t2) & property2(?t2, ?x)

Only 3 instances are generated corresponding to "TestValue1",
"TestValue2", and "TestValue4".  An instance corresponding to
"TestValue3" is not generated.

  In the OWL file "TestValue3" appears only in the class definition,
so I suspect that this causes the problem.

Best Regards,

--

-- 
MITSUISHI Yutaka

_______________________________________________
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 

Re: Re: [protege-owl] Trouble in using "hasValue" in SWRL+Jess

Dear Martin,

  Thanks for your prompt reply and useful information on FAQs.

Best Regards,

> As mentioned in [1], the SWRLTab bridge currently supports a subset of OWL
> restrictions. The owl:hasValue restriction that you use in your example is
> not supported. Correctly inferring that the 'Test1a_1' individual has a
> value of 'TestValue3' would require Skolemization [2]. 
> 
> Martin
> 
> [1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLRuleEngineBridgeFAQ#nid6QL
> [2] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLRuleEngineBridgeFAQ#nid6PG

--

-- 
MITSUISHI Yutaka

_______________________________________________
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