Discussion List Archives

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Theorem proving / reasoning using CIF dictionaries

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.


Perth,  WA  6009 AUSTRALIA

e: Nick.Spadaccini@uwa.edu.au

On Fri, Dec 7, 2018 at 8:53 PM Peter Murray-Rust <pm286@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!


Peter Murray-Rust
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge

Reply to: [list | sender only]
International Union of Crystallography

Scientific Union Member of the International Science Council (admitted 1947). Member of CODATA, the ISC Committee on Data. Partner with UNESCO, the United Nations Educational, Scientific and Cultural Organization in the International Year of Crystallography 2014.

International Science Council Scientific Freedom Policy

The IUCr observes the basic policy of non-discrimination and affirms the right and freedom of scientists to associate in international scientific activity without regard to such factors as ethnic origin, religion, citizenship, language, political stance, gender, sex or age, in accordance with the Statutes of the International Council for Science.