On Importing Knowledge from DL Ontologies: Some Intuitions and Problems

Abstract. This paper argues for the benefits of distinguishing the notions of “ontology module” and “importing terms from an ontology”, by sampling some papers on these topics in the AI and Database communities. It then proposes intuitions and a formal definition for “importing terms S from KB under rules G”, and looks at the problems of implementing this for very simple kinds of TBoxes.

• Type: Conference
• Year: 2007
• Where: DLOG
• Authors: Alexander Borgida
• Keywords: Automated Reasoning, Database Communities, DLOG 2007, Formal Definition, Ontology Module