subproperty inherits domain and range of parent property

classic Classic list List threaded Threaded
7 messages Options
Reply | Threaded
Open this post in threaded view
|

subproperty inherits domain and range of parent property

Varanka, Dalia
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
MBA
Reply | Threaded
Open this post in threaded view
|

Re: subproperty inherits domain and range of parent property

MBA
Hi Dalia, 

In my experience the subproperties do inherit domains and ranges from their parents, which including causes several problems to infer.

Best, 

photo
Mauricio B. Almeida, PhD
Associate Professor, Information Science, Federal University of Minas Gerais

<a href="tel:Av.+Antônio+Carlos,+6627+Campus+Pampulha,+Belo+Horizonte,+M.G.,+Brazil+30.330-240" style="color:#8d8d8d;text-decoration:none;font-family:sans-serif" target="_blank">Av. Antônio Carlos, 6627 Campus Pampulha, Belo Horizonte, M.G., Brazil 30.330-240 | <a href="tel:http://mba.eci.ufmg.br+::::+mba@eci.ufmg.br+::::+priv.mba@gmail.com" style="color:#8d8d8d;text-decoration:none;font-family:sans-serif" target="_blank">http://mba.eci.ufmg.br :::: mba@... :::: priv.mba@...

Researcher >>> The National Council for Scientific and Technological Development




On Tue, May 12, 2020 at 4:45 PM Varanka, Dalia E <[hidden email]> wrote:
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: subproperty inherits domain and range of parent property

Michael DeBellis-2
The sub-properties should inherit the domain and range but if they aren't I suggest checking Reasoner>Configure.  In the "Object property inferences" section make sure Domain and Range are checked. I also didn't quite follow what Mauricio meant when he said "which including causes several problems to infer." The only way this is a problem is if you make something a sub-property that shouldn't be. Also, you can of course over-ride the domain and/or range of a sub-property but the new value must be a subclass of the domain/range of the parent property. 

Cheers,
Michael

On Tue, May 12, 2020 at 12:57 PM Mauricio Almeida <[hidden email]> wrote:
Hi Dalia, 

In my experience the subproperties do inherit domains and ranges from their parents, which including causes several problems to infer.

Best, 

photo
Mauricio B. Almeida, PhD
Associate Professor, Information Science, Federal University of Minas Gerais

<a href="tel:Av.+Antônio+Carlos,+6627+Campus+Pampulha,+Belo+Horizonte,+M.G.,+Brazil+30.330-240" style="color:rgb(141,141,141);text-decoration:none;font-family:sans-serif" target="_blank">Av. Antônio Carlos, 6627 Campus Pampulha, Belo Horizonte, M.G., Brazil 30.330-240 | <a href="tel:http://mba.eci.ufmg.br+::::+mba@eci.ufmg.br+::::+priv.mba@gmail.com" style="color:rgb(141,141,141);text-decoration:none;font-family:sans-serif" target="_blank">http://mba.eci.ufmg.br :::: mba@... :::: priv.mba@...

Researcher >>> The National Council for Scientific and Technological Development




On Tue, May 12, 2020 at 4:45 PM Varanka, Dalia E <[hidden email]> wrote:
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
MBA
Reply | Threaded
Open this post in threaded view
|

Re: subproperty inherits domain and range of parent property

MBA
Hi Michael, I agree with you. What I said about ranges and properties I read in a paper by Rector (and my practice confirms Rector's opinion: the incorrect use of domain and range restrictions are common sources of error, and sometimes you only discover this when you start the reasoner.
Also, in case Dalia is using certain OWL dialects, you must know, domain and range are not supported.
Best,

photo
Mauricio B. Almeida, PhD
Associate Professor, Information Science, Federal University of Minas Gerais

<a href="tel:Av.+Antônio+Carlos,+6627+Campus+Pampulha,+Belo+Horizonte,+M.G.,+Brazil+30.330-240" style="color:#8d8d8d;text-decoration:none;font-family:sans-serif" target="_blank">Av. Antônio Carlos, 6627 Campus Pampulha, Belo Horizonte, M.G., Brazil 30.330-240 | <a href="tel:http://mba.eci.ufmg.br+::::+mba@eci.ufmg.br+::::+priv.mba@gmail.com" style="color:#8d8d8d;text-decoration:none;font-family:sans-serif" target="_blank">http://mba.eci.ufmg.br :::: mba@... :::: priv.mba@...

Researcher >>> The National Council for Scientific and Technological Development



On Tue, May 12, 2020 at 5:15 PM Michael DeBellis <[hidden email]> wrote:
The sub-properties should inherit the domain and range but if they aren't I suggest checking Reasoner>Configure.  In the "Object property inferences" section make sure Domain and Range are checked. I also didn't quite follow what Mauricio meant when he said "which including causes several problems to infer." The only way this is a problem is if you make something a sub-property that shouldn't be. Also, you can of course over-ride the domain and/or range of a sub-property but the new value must be a subclass of the domain/range of the parent property. 

Cheers,
Michael

On Tue, May 12, 2020 at 12:57 PM Mauricio Almeida <[hidden email]> wrote:
Hi Dalia, 

In my experience the subproperties do inherit domains and ranges from their parents, which including causes several problems to infer.

Best, 

photo
Mauricio B. Almeida, PhD
Associate Professor, Information Science, Federal University of Minas Gerais

<a href="tel:Av.+Antônio+Carlos,+6627+Campus+Pampulha,+Belo+Horizonte,+M.G.,+Brazil+30.330-240" style="color:rgb(141,141,141);text-decoration:none;font-family:sans-serif" target="_blank">Av. Antônio Carlos, 6627 Campus Pampulha, Belo Horizonte, M.G., Brazil 30.330-240 | <a href="tel:http://mba.eci.ufmg.br+::::+mba@eci.ufmg.br+::::+priv.mba@gmail.com" style="color:rgb(141,141,141);text-decoration:none;font-family:sans-serif" target="_blank">http://mba.eci.ufmg.br :::: mba@... :::: priv.mba@...

Researcher >>> The National Council for Scientific and Technological Development




On Tue, May 12, 2020 at 4:45 PM Varanka, Dalia E <[hidden email]> wrote:
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: [EXTERNAL] subproperty inherits domain and range of parent property

Varanka, Dalia
In reply to this post by Varanka, Dalia
Sorry, I just found a cool article by Motik and Horrocks: OWL Datatypes: Design and Implementation.  That source probably offers answers to my question! 

From: protege-user <[hidden email]> on behalf of Varanka, Dalia E <[hidden email]>
Sent: Tuesday, May 12, 2020 2:45 PM
To: [hidden email] <[hidden email]>
Subject: [EXTERNAL] [protege-user] subproperty inherits domain and range of parent property
 
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: [EXTERNAL] subproperty inherits domain and range of parent property

Lorenz Buehmann

It's simple logical inference


1) p SubPropertyOf q

2) a p b

3) q Domain C


->

4) a q b (because of 1 + 2)


->

5) a Type C (because of 4 + 3)


On 13.05.20 00:05, Varanka, Dalia E wrote:
Sorry, I just found a cool article by Motik and Horrocks: OWL Datatypes: Design and Implementation.  That source probably offers answers to my question! 

From: protege-user [hidden email] on behalf of Varanka, Dalia E [hidden email]
Sent: Tuesday, May 12, 2020 2:45 PM
To: [hidden email] [hidden email]
Subject: [EXTERNAL] [protege-user] subproperty inherits domain and range of parent property
 
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: [EXTERNAL] subproperty inherits domain and range of parent property

Varanka, Dalia
Thank you, Lorenz!  
I'm afraid my question was not sufficiently specific.  I meant to ask how inference operates for datatype property domain and range classes for the datatype subproperty.
I get an anonymous domain class when I run the reasoner in Protege, after checking the box  for domains in the Configure Preferences, but there is no option there for selecting range, nor do I successfully infer the range. I still wonder if xsd:string will be my range without further specification (it's specified in the parent property).
Another surprise is my asserted parent property appears twice.
 - Dalia




From: protege-user <[hidden email]> on behalf of Lorenz Buehmann <[hidden email]>
Sent: Wednesday, May 13, 2020 3:06 AM
To: [hidden email] <[hidden email]>
Subject: Re: [protege-user] [EXTERNAL] subproperty inherits domain and range of parent property
 

It's simple logical inference


1) p SubPropertyOf q

2) a p b

3) q Domain C


->

4) a q b (because of 1 + 2)


->

5) a Type C (because of 4 + 3)


On 13.05.20 00:05, Varanka, Dalia E wrote:
Sorry, I just found a cool article by Motik and Horrocks: OWL Datatypes: Design and Implementation.  That source probably offers answers to my question! 

From: protege-user [hidden email] on behalf of Varanka, Dalia E [hidden email]
Sent: Tuesday, May 12, 2020 2:45 PM
To: [hidden email] [hidden email]
Subject: [EXTERNAL] [protege-user] subproperty inherits domain and range of parent property
 
HI
If I have a parent property with a domain and range specified, would the child properties (sub properties) not inherit or infer the domain and range?  Or must they be specified for all child properties?

thanks
Dalia

Dalia Varanka (Ph.D.)

Research Scientist, Center of Excellence for Geospatial Information Science

National Geospatial Program | US GEOLOGICAL SURVEY

https://orcid.org/0000-0003-2857-9600

 https://www.usgs.gov/core-science-systems/ngp/cegis/geospatial-semantics-and-ontology

 

Phone: +1 573 308 3897                  Fax: +1 573 309 3652

Email: [hidden email]              

1400 Independence Rd, Rolla, MO 65401 USA



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user