Logic programming and databases
Logic programming and databases
Reasoning in description logics
Principles of knowledge representation
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Multilingual authoring using feedback texts
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
A support tool for writing multilingual instructions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Chart-parsing techniques and the prediction of valid editing moves in structured document authoring
Proceedings of the 2004 ACM symposium on Document engineering
Controlled authoring of biological experiment reports
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
Hi-index | 0.00 |
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describing closed-world authoring situations, in which the knowledge base is used for constraining the possible documents and orienting the user's selections. Then we move to open-world authoring situations in which, additionally, choices made during authoring are echoed back to the knowledge base. In this way the information implicitly encoded in a document becomes explicit in the knowledge base and can be re-exploited for simplifying the authoring of new documents. We show how a Datalog KB is sufficient for is the closed-world situation, while a Description Logic KB is better-adapted to the more complex open-world situation, All along, we pay special attention to logically sound solutions and to decidability issues in the different processes.