VU Research Portal · 2003 · 83 citations · 9 references
Open access
ComputingComputer ScienceFormal MethodsKnowledge RepresentationLogicDescription LogicsFormal OntologyOntology DesignOntology EngineeringPredicate LogicTerminological EquivalenceContainmentOntologiesOntology FormalizationOntology MaintenanceOntology ModelingOntology ModularizationOntology ReasoningSubsumption Reasoning
The benefits of modular representations are well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to local containment of terminological reasoning. We define an architecture for modular ontologies that supports local reasoning by compiling implied subsumption relations.
9
Answering queries using views: A survey
Alon Halevy · The VLDB Journal · 2001 · 1.5K citations
Semantics and implementation of schema evolution in object-oriented databases
Jay Banerjee, Won Kim, Hyoung-Joo Kim et al. · 1987 · 668 citations
Ontology languages for the Semantic Web
Asuncíon Gómez-Pérez, Óscar Corcho · IEEE Intelligent Systems · 2002 · 409 citations · Full text