Elimination of Redundancy in Ontologies
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extracting Modules from Ontologies: A Logic-Based ApproachLecture Notes in Computer Science, 2009
- Laconic and Precise Justifications in OWLLecture Notes in Computer Science, 2008
- Pellet: A practical OWL-DL reasonerJournal of Web Semantics, 2007
- Finding All Justifications of OWL DL EntailmentsLecture Notes in Computer Science, 2007
- Winnowing Ontologies Based on Application UseLecture Notes in Computer Science, 2006
- Redundancy in logic I: CNF propositional formulaeArtificial Intelligence, 2004
- Foundations of semantic web databasesPublished by Association for Computing Machinery (ACM) ,2004
- A theory of diagnosis from first principlesArtificial Intelligence, 1987