Theorem proving / reasoning using CIF dictionaries

[Peter Murray-Rust]

Many thanks Nick,
CIF and DRel are ahead of their time. I find this all the time with CML.
noone gets the point.
It's so obvious to you and us and me that published knowledge is
computable. But so few people get it. I didn't realise when started withe
early dictionaries (what was the precursor of CIF? ) that this was anything
unusual. What's amazing is how few other disciplines have adopted the
semantic dictionary idea.
I am now starting this with Wikidata, which I think is the future of
scientific metadata and can be computed (it's in RDF/SPARQL).
Is there any activity in getting CIF definitions into Wikidata? All the PDB
codes are already in.

I think CIF.DRel is a good playground for developing theorem proving

On Thu, Dec 13, 2018 at 3:57 AM Nick Spadaccini <
nick.spadaccini.uwa at gmail.com> wrote:

> In our original design considerations of how to structure a dictionary and
> define dREL we explicitly discussed the concept of a knowledge engine
> trawling the dictionary to find hitherto undefined relations from the
> definitions - we were blue sky, spit balling in essence but we were
> confident eventually such a process could be manufactured.
>
> The realities of mapping ideas around dREL into concrete systems means you
> make compromises. While we tried to engineer dREL around "relations" it is
> quite imperative in nature. Not to sure what knowledge engines consume as
> information these days and whether it has moved on from is_a, has_a etc etc
> semantic networks or whether programming code is trawlable, but good luck -
> I would love to see DDL and dREL move to the next level.
>
> cheers
>
> Nick
> -------------------------------
> Perth,  WA  6009 AUSTRALIA
>
> e: Nick.Spadaccini at uwa.edu.au
>
>
> On Fri, Dec 7, 2018 at 8:53 PM Peter Murray-Rust <pm286 at cam.ac.uk> wrote:
>
>> Joe Cornell is a mathematician who is interested in theorem proving
>> starting from semantic definitions. The CIF dictionaries could be an
>> interesting starting point where definitions and executable code are
>> coupled. Do you know of efforts to use CIF to calculate properties or
>> relations that are not explicitly defined in the dictionaries - possible
>> with constraints.
>>
>> Hope this makes some sense!
>>
>> P.
>>
>>
>>
>>
>> --
>> Peter Murray-Rust
>> Reader Emeritus in Molecular Informatics
>> Unilever Centre, Dept. Of Chemistry
>> University of Cambridge
>> CB2 1EW, UK
>> +44-1223-763069
>>
>

-- 
Peter Murray-Rust
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge
CB2 1EW, UK
+44-1223-763069
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iucr.org/pipermail/comcifs/attachments/20181213/79b9f2d3/attachment.html>