2005 · 154 citations · 2 references
ComputingComputer ScienceAlgorithmsKnowledge RepresentationTheory Of ComputationAutomated ReasoningDescription LogicsFormal OntologyQuery ProcessingComplexityDescription Logic ReasoningExpressive Description LogicsOntologiesOntology ReasoningPolynomial Time ComplexityPolynomial-time AlgorithmsSemantic Web
In this work, we present QUONTO, a query answering system based on DL-Lite. Our system provides three basic functionalities: (1) specification of the intensional level of the ontology (TBox), (2) specification of the extensional level of the ontology (ABox), and (3) query answering.
2
DL-Lite: Practical Reasoning for Rich Dls.
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini et al. · 2004 · 57 citations