AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Minimal module extraction from DL-lite ontologies using QBF solvers

IJCAI, pp.836-841, (2009)

Cited by: 96|Views24
EI

Abstract

We present a formal framework for (minimal) module extraction based on an abstract notion of inseparability w.r.t. a signature between ontologies. Two instances of this framework are discussed in detail for DL-Lite ontologies: concept inseparability, when ontologies imply the same complex concept inclusions over the signature, and query i...More

Code:

Data:

Your rating :
0

 

Tags
Comments
小科