jonb: intended as syntax for media type neutral URI references
DanC_: JimH was using it to produce daml+oil.n3, but he included the .daml in the input address...
DanC_: I want to test to see if we get the right results by dropping the .daml
DanC_: indeed: now the results look right.
DanC_: I want to test to see if we get the right results by dropping the .daml
DanC_: indeed: now the results look right.
danbri: "The expression 'free logic' is an abbreviation for the phrase 'free of existence assumptions with respect to its
danbri: Classical quantification theory is not a free logic in this sense, as its standard
danbri: formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse.
danbri: Classical quantification theory is not a free logic in this sense, as its standard
danbri: formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse.
jonb: in the same way a URI identifies a resource