On 4/3/15 12:21 PM, John F Sowa wrote:
> On 4/2/2015 3:40 PM, Matthew West wrote:
>> So how do you refer to a car without saying it is a car?
> Just say in English (or its translation to FOL):
>
> There is an x.
>
> If you want to say more, add
>
> x has four wheels; x has a cabin that can hold from 1 to 8
> people; one of them is a driver; the driver can control
> the way x moves.
>
> You can also, if you wish, say the following, but without assuming
> any fixed definition for the term 'car':
>
> x is car. (01)
Yes. (02)
You can also leverage indefinite pronoun [blank node] feature of RDF to
arrive at same results, as exemplified in the RDF Nanotation based
example below : (03)
{ (04)
<>
a schema:WebPage ;
rdfs:label "Using Blank Nodes [indefinite pronouns] to vaguely describe
a Car" ;
schema:about [
a <#Car> ;
rdfs:label "Vague Car" ;
<#hasWheelCount> "4"^^xsd:integer ;
<#hasCabin> [ a <#Cabin> ;
rdfs:label "Cabin" ;
<#hasCabinMinCapacity> "1"^^xsd:integer ;
<#hasCabinMaxCapacity> "8"^^xsd:integer
]
] . (05)
}
>
> The critical distinction is in the restrictions implied by
> the system of logic and ontology. If you have a very tightly
> restricted logic, it's impossible to say "driverless car".
Yes. (06)
>
> With a less restricted logic, you can say anything you like. (07)
Yes. (08)
> If it causes a contradiction, you just delete one or more axioms
> -- in this case, the axiom that a moving car shall have a driver. (09)
Yes! (010)
Kingsley
>
> John
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>
>
> (011)
--
Regards, (012)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog 1: http://kidehen.blogspot.com
Personal Weblog 2: http://www.openlinksw.com/blog/~kidehen
Twitter Profile: https://twitter.com/kidehen
Google+ Profile: https://plus.google.com/+KingsleyIdehen/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen
Personal WebID: http://kingsley.idehen.net/dataspace/person/kidehen#this (013)
smime.p7s
Description: S/MIME Cryptographic Signature
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|