Experian also bought the Garlik company and their triplestore … so they do
SemWeb too. Garlik even open sourced some of the tech (although I understand
what they use internally is even better): http://4store.org/ (01)
Cheers,
David (02)
UK +44 7788 561308
US +1 336 283 0606 (03)
On 22 Feb 2013, at 13:17, John F Sowa wrote: (04)
> Adrian Walker sent me the URL of a presentation about using Prolog
> and Constraint Handling Rules to support large-scale applications:
>
> http://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf
>
> Coincidentally, I received the CFP below about a workshop on CHR.
>
> As this presentation shows, Prolog + CHR is a highly scalable platform
> that can support major applications. The Semantic Web ignored this
> technology because it is not decidable. But that is also true of
> every major programming language and computational system.
>
> The Experian credit bureau is a very large corporation, which uses
> Prolog to check everybody's credit worthiness. They use it so heavily
> that they bought Prologia, the company founded by Alain Colmerauer,
> who implemented the first version of Prolog.
>
> But Experian is also a secretive company that doesn't tell anybody
> what they do or how they do it. Nevertheless, their size shows that
> Prolog and related logic-programming methods scale to "Big Data".
>
> The CHR notation compiles into Prolog. For more info and freely
> downloadable software, see
>
> http://www.swi-prolog.org/man/chr.html
>
> John Sowa
>
> -------- Original Message --------
> Subject: CFP: 10th CHR Workshop in Berlin, July 2013 / Constraint
> Handling Rules
> Date: Fri, 22 Feb 2013 12:11:43 +0000
> From: Henning Christiansen <henning@xxxxxx>
>
> =========================================================================
>
> Call for Papers
> Tenth International Workshop on Constraint Handling Rules
> CHR 2013
>
> http://dtai.cs.kuleuven.be/CHR/CHR2013/
> Berlin (Germany), July 11-12th, 2013
> (co-located with the 3rd Intl Summer School on CHR)
>
> =========================================================================
>
> The CHR 2013 Workshop will be held on July 11th and 12th, 2013 in Berlin
> (Germany) at the occasion of the 3rd International Summer School on CHR.
> More information on the venue and the co-located summer school can be
> found on the summer school website (http://met.guc.edu.eg/CHR2013/).
>
> The Constraint Handling Rules (CHR) language has become a major declara-
> tive specification formalism and implementation language for constraint
> reasoning algorithms and applications. Algorithms specified using infe-
> rence rules, rewrite rules, sequents, proof rules, or logical axioms can
> often be directly written in CHR. Its clean semantics facilitates pro-
> gram design, analysis, and transformation. For more information, please
> visit the CHR website (http://dtai.cs.kuleuven.be/CHR/).
>
> The aim of the CHR workshop series is to stimulate and promote interna-
> tional research and collaboration on topics related to the CHR language.
> The workshop is a lively, friendly forum for presenting and discussing
> new results, interesting applications, and work in progress.
> Previous Workshops on Constraint Handling Rules were organized in 2004
> in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice
> (Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen-
> berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in
> 2010 in Edinburgh (Scotland, UK) at ICLP, in 2011 in Cairo (Egypt), at
> the 2nd CHR summer school, and in 2012 in Budapest (Hungary) at ICLP.
>
> Topics of Interest
>
> The workshop calls for full papers and short papers describing ongoing
> work on any aspect of CHR and related approaches. The following topics
> are relevant (this list is non-exhaustive):
>
> - (Logical) Algorithms
> - Applications
> - Constraint Solvers
> - Critical Assessment
> - Expressiveness and Complexity
> - Implementations and Optimization
> - Language Extensions (Types, Modules,...)
> - Mutual inspiration from related areas such as
> Answer Set Programming, (Term) Rewriting Systems, ...
> - Program Analysis
> - Program Transformation and Generation
> - Programming Environments (Debugging)
> - Programming Pearls
> - Programming Tools
> - Retractable Constraints
> - Semantics
> - System Descriptions
>
> Important dates
>
> - Paper submission deadline: May 8th, 2013
> - Notification of acceptance: June 8th, 2013
> - Final version due: June 23rd, 2013
> - Workshop date: July 11th and 12th, 2013
>
> Submission Information
>
> The two categories for submissions are:
>
> - full papers for describing technically sound, innovative ideas that
> can advance the state of the art of CHR;
>
> - short papers, for ongoing work not yet ready for full publication
> and research project overviews.
>
> All papers must describe original, previously unpublished research, and
> must not simultaneously be submitted for publication elsewhere.
> They must be written in English. Technical papers must not exceed 15
> pages. The limit for short papers is 8 pages, as is the standard page
> limit for application papers, and system and tool papers. However,
> particularly strong contributions in the latter two areas may be
> submitted as technical paper as well.
>
> All papers must be in the Springer LNCS format. General information
> about the Springer LNCS series and the LNCS authors' instructions are
> available at the Springer LNCS home page
> (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).
>
> Submissions must be made via the EasyChair submission system, available
> at http://www.easychair.org/conferences/?conf=chr2013
>
> Programme Committee
>
> - Slim Abdennadher, German University of Cairo, Egypt
> - María Alpuente, UPV, Spain
> - Henning Christiansen, Roskilde University, Denmark (co-chair)
> - Marina De Vos, University of Bath, UK
> - François Fages, INRIA Rocquencourt, France
> - Thom Frühwirth, University of Ulm, Germany
> - Maurizio Gabbrielli, University of Bologna, Italy
> - Marco Gavanelli, University of Ferrara, Italy
> - Rémy Haemmerlé, Technical University of Madrid, Spain
> - Michael Maher, University of New South Wales, Canberra, Australia
> - Thierry Martinez, INRIA Paris-Rocquencourt, France
> - Maria Chiara Meo, Gabriele d'Annunzio University, Italy
> - Eric Monfroy, UTFSM and LINA, Chile/France
> - Tom Schrijvers, Ghent University, Belgium
> - Jon Sneyers, KU Leuven, Belgium (co-chair)
> - Armin Wolf, Fraunhofer FIRST, Germany
>
> Workshop Coordinators
>
> Contact: chr2013@xxxxxxxxxxxxx
>
> Henning Christiansen
> Department of Communication, Business and Information Technologies,
> Roskilde University, Denmark
> http://www.ruc.dk/~henning/
>
> Jon Sneyers
> Department of Computer Science, KU Leuven, Belgium
> http://people.cs.kuleuven.be/~jon.sneyers/
>
> Steering committee:
>
> Thom Frühwirth
> Programmiermethodik und Compilerbau, Ulm University, Germany
> http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
>
> Slim Abdennadher
> Department of Computer Science & Engineering, German University in Cairo
> http://met.guc.edu.eg/staff/slim_abdennadher.aspx
>
>
> _________________________________________________________________
> 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
> (05)
_________________________________________________________________
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 (06)
|