EPSRC Project: Composing and decomposing ontologies: a logic-based approach

• Composing and Decomposing Ontologies: A Logic-based Approach -- A Case for Support
  [pdf]

• Frank Wolter (EPSRC Reference: EP/E065279/1)
• Ulrike Sattler (EPSRC Reference: EP/E065155/1)

• Ian Horrocks
• Boris Konev
• Bijan Parsia

• Thomas Schneider
• Dirk Walther

• Bernardo Cuenca Grau
• Carsten Lutz
• Grant Malcolm
• Daniel Pokrywczynski

• Roman Kontchakov, Frank Wolter and Michael Zakharyaschev.
  Modularity in DL-Lite,
  Submitted.
  [pdf] [bibtex]
   
• Carsten Lutz and Frank Wolter.
  Conservative extensions in the Lightweight Description Logic EL,
  Submitted.
  [pdf] [bibtex]
   
• Carsten Lutz, Dirk Walther, and Frank Wolter.
  Conservative extensions in expressive description logics,
  Proceedings of IJCAI-07.
  [pdf] [bibtex]
   
• Silvio Ghilardi, Carsten Lutz, and Frank Wolter.
  Did I damage my ontology: A Case for Conservative Extensions of Description Logics,
  Proceedings of KR06: Principles of Knowledge Representation and Reasoning 2006.
  [pdf] [bibtex]
   
• Silvio Ghilardi, Carsten Lutz, Frank Wolter and Michael Zakharyaschev.
  Conservative Extensions in Modal Logic,
  Proceedings of AiML06: Advances in Modal Logic 2006.
  [pdf] [bibtex]
   
• Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler.
  Extracting Modules from Ontologies: A Logic-based Approach,
  To Appear in Proceedings of OWLED-2007: the 3rd International OWL Experiences and Directions Workshop.
  
   
• Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler.
  Just the Right Amount: Extracting Modules from Ontologies,
  To Appear in Proceedings of WWW-2007: the 16th International World Wide Web Conference.
  [pdf] [bibtex]
   
• Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler.
  A Logical Framework for Modularity of Ontologies,
  To Appear in Proceedings of IJCAI-2007: the 20th International Joint Conference on Artificial Intelligence.
  [pdf] [bibtex]
   
• Bernardo Cuenca Grau and Oliver Kutz.
  Modular Ontology Languages Revisited,
  To Appear in Proceedings of the IJCAI'07 Workshop on Semantic Web for Collaborative Knowledge Acquisition.
  [pdf] [bibtex]
   
• Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin and Aditya Kalyanpur.
  Modularity and Web Ontologies,
  In Proceedings of KR-2006: the 10th International Conference on Principles of Knowledge Representation and Reasoning.
  [pdf] [bibtex]
   
• Alex Borgida.
  On Importing Knowledge from DL Ontologies: some Intuitions and Problems,
  Submitted.
  [pdf] [bibtex]
   
• Razvan Diaconescu, Joseph Goguen and Petros Stefaneas.
  Logical Support for Modularisation,
  Papers presented at the second annual Workshop on Logical environments, Edinburgh, Scotland, 1993.
  [pdf] [bibtex] [html]
   
• Dieter Hutter.
  Some Remarks on the Annotation %cons,
  A note on model theoretical vs. proof theoretical definition of
  conservative extensions and possible tool support, 1999.
  [pdf] [bibtex] [html]
   
• Aldo Gangemi.
  Ontology Design Patterns for Semantic Web Content,
  in proceedings of ISWC'05: the 4th International Semantic Web Conference, Galway, Ireland, November 6-10, 2005,
  Y. Gil and E. Motta and V.R. Benjamins and M.A. Musen (editors), Lecture Notes in Computer Science, Springer Verlag, 3729: 262-276, 2005.
  [pdf] [bibtex]
   

• Albert Visser.
  Uniform Interpolation and Layered Bisimulation.
  [pdf] [bibtex]
   
• Tim French.
  Bisimulation Quantifiers for Modal Logics.
  [pdf] [bibtex]
   

• Jérôme Lang, Paolo Liberatore, and Pierre Marquis.
  Propositional Independence: Formula-Variable Independence and Forgetting.
  Journal of Artificial Intelligence Research, AI Access Foundation and Morgan Kaufmann Publishers, 18: 391-443, 2003.
  [pdf] [bibtex]
   

• Joseph Goguen.
  Information Integration, Databases and Ontologies. [html]
  Theory of Institutions. [html]
   
• Trevor Bench-Capon, Grant Malcolm, Michael Shave.
  Semantics for Interoperability: Relating Ontologies and Schemata,
  in proceedings of DEXA'03: the 14th International Conference on Database and Expert Systems Applications, Prague, Czech Republic, September 1-5, 2003,
  Lecture Notes in Computer Science, Springer, 2736: 703-712, 2003.
  [ps] [bibtex]
   
• Trevor Bench-Capon, Grant Malcolm.
  Formalising Ontologies and Their Relations,
  in proceedings of DEXA'99: the 10th International Conference on Database and Expert Systems Applications, pp.250-259, Springer-Verlag, London, UK, 1999.
  [ps] [bibtex]
   
• Razvan Diaconescu.
  Literature on Institutions. [html]
   

• Ontology Repository
   

maintained by Dirk Walther
last update: 27 April, 2008