Portal de Periódicos da CAPES

Automated Reasoning for Relational Probabilistic Knowledge Representation

2010; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-14203-1_19

1611-3349

Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm,

Semantic Web and Ontologies

KReator is a toolbox for representing, learning, and automated reasoning with various approaches combining relational first-order logic with probabilities. We give a brief overview of the KReator system and its automated reasoning facilities.