Sciweavers

1087 search results - page 21 / 218
» Exploiting Description Logic Reasoners in Inductive Logic
Sort
View
INLG
2010
Springer
14 years 7 months ago
Charting the Potential of Description Logic for the Generation of Referring Expressions
The generation of referring expressions (GRE), an important subtask of Natural Language Generation (NLG) is to generate phrases that uniquely identify domain entities. Until recen...
Yuan Ren, Kees van Deemter, Jeff Z. Pan
ELP
1993
15 years 1 months ago
Finitary Partial Inductive Definitions as a General Logic
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
Lars-Henrik Eriksson
CADE
2002
Springer
15 years 10 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks