Corpus ID: 945178

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

@inproceedings{Kontchakov2009MinimalME,
  title={Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers},
  author={Roman Kontchakov and Luca Pulina and Ulrike Sattler and Thomas Schneider and Petra Selmer and Frank Wolter and Michael Zakharyaschev},
  booktitle={IJCAI},
  year={2009}
}
  • Roman Kontchakov, Luca Pulina, +4 authors Michael Zakharyaschev
  • Published in IJCAI 2009
  • Computer Science
  • 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 inseparability, when they give the same answers to existential queries for any instance data over the signature. We demonstrate that different types of… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 65 CITATIONS

    Forgetting for knowledge bases in DL-Lite

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Zooming in on Ontologies: Minimal Modules and Best Excerpts

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    FILTER CITATIONS BY YEAR

    2009
    2020

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 17 REFERENCES

    Specifying Ontology Views by Traversal

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL