Concrete Results on Abstract Rules

There are many different notions of “rule” in the literature. A key feature and main intuition of any such notion is that rules can be “applied” to derive conclusions from certain premises. More formally, a rule is viewed as a function that, when invoked on a set of known facts, can produce new fact...

Full description

Bibliographic Details
Main Authors: Krötzsch, M, Magka, D, Horrocks, I
Format: Conference item
Published: 2013