dol.bib

@STRING{lncs = {Lect. Notes Comp. Sci.}}

@ARTICLE{GoguenBurstall92,
  AUTHOR = {Joseph A. Goguen and Rod M. Burstall},
  TITLE = {Institutions: Abstract Model Theory for Specification and Programming},
  JOURNAL = {J. ACM},
  VOLUME = {39},
  PAGES = {95-146},
  YEAR = 1992,
}

@ARTICLE{OWL2,
  author = {W3C},
  title = {OWL 2 Web Ontology Language},
  note = {\url{https://www.w3.org/standards/techs/owl#w3c_all}},
}
@article{RDF,
  author = {W3C},
  title = {Resource Description Framework (RDF))},
  note = {\url{http://www.w3.org/standards/techs/rdf#w3c_all}},
}
@article{UML,
  author = {Object Management Group},
  title = {Unified Modeling Language},
  journal = {http://www.omg.org/spec/UML/},
}
@article{RFP,
  author = {Object Management Group},
  title = {Ontology, Model and Specification Integration and Interoperability Request For Proposal},
  journal = {OMG Document Number ad/13-12-02},
  year = {2013},
}
@article{flogic,
  author = {M. Kifer and G. Lausen and J. Wu},
  title = {Logical Foundations of Object-Oriented and Frame-Based Languages,},
  journal = {Journal of the ACM},
  volume = {42}, 
  pages = {741--843},
  year = {1995},
}
@article{obo,
  author = {C. Mungall and A. Ireland},
  title = {The OBO Flat File Format Specification, version 1.4 (Draft), 8 December 2010,},
  journal = {\url{http://www.geneontology.org/GO.format.obo-1_4.shtml}},
  year = 2010,
}
  
@article{StuderEtAl:KnowledgeEngineering1998,
  author = {R. Studer and V.R. Benjamins and D. Fensel},
  title = {Knowledge Engineering: Principles and Methods},
  journal = {In: Data \& Knowledge Engineering 25.1--2 (1998), pp. 161--198.},
  year = 1998,
}
@book{Knuth:LiterateProgramming1992,
  author = {D. E. Knuth},
  title = {Literate Programming},
  journal = {The University of Chicago Press},
  year = 1992,
}
@article{SuarezFigueroaEtAl:OntologyGlossary2008,
  author = {MC. Suarez-Figueroa and A. Gomez-Perez},
  title = {First Attempt towards a Standard Glossary of Ontology Engineering Terminology},
  journal = {In: The 8th International Conference on Terminology and Knowledge Engineering, 18--21 August 2008, Copenhagen, Denmark.},
  year = 2008,
}

@ARTICLE{circ1,
  AUTHOR = {J. McCarthy},
  TITLE = {Circumscription --- A Form of Non-monotonic Reasoning},
  JOURNAL = {Artificial Intelligence},
  VOLUME = {13},
  YEAR = {1980},
  PAGES = {27–39},
}

@INCOLLECTION{circ2,
  AUTHOR = {V. Lifschitz},
  TITLE = {Circumscription},
  BOOKTITLE = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3},
  PAGES = {297--352},
  PUBLISHER = {Oxford University Press},
  YEAR = {1994},
}

@article{DAquin:OntologyExtraction2010,
  author = {M. D'Aquin},
  title = {Ontology Extraction Module},
  journal = {NeOn Wiki, 8 June 2010.\newline \url{http://neon-toolkit.org/wiki/Ontology_Module_Extraction}},
  year = 2010,
}

@INPROCEEDINGS{KutzEtAl:ChineseWhispers2010,
  AUTHOR = {Oliver Kutz and I. Normann and Till Mossakowski and D. Walther},
  TITLE = {Chinese Whispers and Connected Alignments},
  BOOKTITLE = {Proc.\ of the 5th Int. Workshop on Ontology Matching (OM 2010)},
  YEAR = {2010},
  NOTE = {\url{http://disi.unitn.it/~p2p/OM-2010/om2010_Tpaper3.pdf}},
}

@INPROCEEDINGS{CuencaGrauEtAl:ExtractingModulesOntologies2007,
  AUTHOR = {B. Cuenca Grau and I. Horrocks and Y. Kazakov and U. Sattler},
  TITLE = {Just the Right Amount: Extracting Modules from Ontologies},
  BOOKTITLE = {Proc.\ 16th Int. World Wide Web Conf.\ (WWW)},
  noADDRESS = {8--12 May 2007, Banff, Alberta, Canada},
  YEAR = 2007,
  PAGES = {717-726},
}

@article{W3C:REC-turtle-20140225,
  author = {W3C RDF Core Working Group},
  title = {{RDF} 1.1 Turtle.  Terse {RDF} Triple Language},
  journal = {W3C Recommendation, 25 February 2014.  \url{http://www.w3.org/TR/2014/REC-turtle-20140225/}},
  year = 2014,
}
@article{W3C:REC-rdf-syntax-grammar-20140225,
  author = {W3C RDF Core Working Group},
  title = {{RDF} 1.1 {XML} Syntax},
  journal = {W3C Recommendation, 25 February 2014.  \url{http://www.w3.org/TR/2014/REC-rdf-syntax-grammar-20140225/}},
  year = 2014,
}
@article{W3C:REC-rdf-syntax-grammar-20040210,
  author = {W3C RDF Core Working Group},
  title = {{RDF/XML} Syntax Specification (Revised)},
  journal = {W3C Recommendation, 10 February 2004.  \url{http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/}},
  year = 2004,
}
@article{W3C:NOTE-swbp-vocab-pub-20080828,
  author = {W3C Semantic Web Deployment Working Group},
  title = {Best Practice Recipes for Publishing RDF Vocabularies},
  journal = {W3C Working Group Note, 28 August 2008.  \url{http://www.w3.org/TR/2008/NOTE-swbp-vocab-pub-20080828/}},
  year = 2008,
}
@article{rfc2616notused,
  author = {IETF Network Working Group},
  title = {Hypertext Transfer Protocol -- {HTTP/1.1}},
  journal = {RFC 2616, 1999},
  year = 1999,
}
@article{BernersLee:LinkedData2006,
  author = {Berners-T. Lee},
  title = {Design Issues: Linked Data},
  journal = {27 July 2006. \url{http://www.w3.org/DesignIssues/LinkedData.html}},
  year = 2006,
}
@article{W3C:NOTE-owl2-manchester-syntax-20091027,
  author = {W3C OWL Working Group},
  title = {OWL 2 Web Ontology Language Manchester Syntax},
  journal = {W3C Working Group Note, 27 October 2009.\newline \url{http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/}},
  year = 2009,
}
@article{W3C:REC-owl2-rdf-based-semantics-20091027,
  author = {W3C OWL Working Group},
  title = {OWL 2 Web Ontology Language: RDF-Based Semantics},
  journal = {W3C Recommendation, 27 October 2009.\newline \url{http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/}},
  year = 2009,
}
@article{Wikipedia:LinkedData2011,
  author = {Wikimedia Foundation, ed.},
  title = {Linked Data},
  journal = {from Wikipedia, the free encyclopedia, 9 November 2011.  \url{http://en.wikipedia.org/w/index.php?title=Linked_Data&oldid=459835053}},
  year = 2011,
}
@article{Rabe:MMT2011,
  author = {F. Rabe},
  title = {The MMT Language and System},
  journal = {October 11, 2011. \url{https://svn.kwarc.info/repos/MMT/doc/manual/mmt.pdf}},
  year = 2011,
}
@article{GEN69a,
  author = {G. Gentzen},
  title = {Investigations into Logical Deduction},
  journal = {In: The Collected Papers of Gerhard Gentzen, M. E. Szabo (ed.), pp. 68--213, North-Holland Amsterdam, 1969.},
  year = 1969,
}
@article{Scott74,
  author = {D. Scott},
  title = {Rules and Derived Rules},
  journal = {In: Logical Theory and Semantic Analysis, S. Stenlund (ed.), pp. 147--161, Reidel, 1974.},
  year = 1974,
}
@article{Avron91,
  author = {A. Avron},
  title = {Simple Consequence Relations},
  journal = {In: Inf. Comput. 92(1), pp. 105--140, 1991.},
  year = 1991,
}
@article{ArieliAvron2000,
  author = {O. Arieli and A. Avron},
  title = {General patterns for nonmonotonic reasoning: From basic entailments to plausible relations},
  journal = {Logic Journal of the IGPL 8(2), pp. 119--148, 2000},
  year = 2000,
}
@article{carnielli2008analysis,
  author = {W.A. Carnielli and M. Coniglio and D.M. Gabbay and P. Gouveia and C. Sernadas},
  title = {Analysis and synthesis of logics: how to cut and paste reasoning systems},
  journal = {Applied logic series, Springer, 2008.},
  year = 2008,
}
ZimmerEuze06,
@article{ZimmermanEtAl06,
  author = {A. Zimmermann and M. Kr\"otzsch and J. Euzenat and P. Hitzler},
  title = {Formalizing Ontology Alignment and its Operations with Category Theory},
  journal = {In: B. Bennett and C. Fellbaum: Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), pp. 277--288,Frontiers in Artificial Intelligence and Applications 150, IOS Press 2006},
  year = 2006,
}
@article{CharPar,
  author = {J. A. Goguen and R.M. Burstall},
  title = {A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments},
  journal = {In: Category Theory and Computer Programming, D. Pitt et al. (eds.), pp. 313--333, no.\ 240 in LNCS, Springer, 1985.},
  year = 1985,
}

@InProceedings{weakcol,
  author = {M. Codescu and T. Mossakowski},
  title = {Heterogeneous colimits},
  year = {2008},
  editor = {F. Boulanger and C. Gaston and P.-Y. Schobbens},
  booktitle = {MoVaH'08 Workshop on Modeling, Validation and Heterogeneity},
  publisher = {IEEE press}
}

@article{inst-mor,
  author = {J. A. Goguen and G. Ro\c{s}u},
  title = {Institution morphisms},
  journal = {In: Formal aspects of computing 13, pp. 274–307, 2002},
  year = 2002,
}

@INPROCEEDINGS{Meseguer89,
  AUTHOR = {Jos\'e Meseguer},
  TITLE = {General Logics},
  BOOKTITLE = {Logic Colloquium 87},
  YEAR = {1989},
  PAGES = {275--329},
}

@article{Comorphisms,
  author = {Joseph A. Goguen and G. Ro\c{s}u},
  title = {Institution morphisms},
  journal = {Formal aspects of computing 13, pp. 274-307, 2002},
  year = 2002,
}
@article{GrothendieckInstitutions,
  author = {R. Diaconescu},
  title = {Grothendieck Institutions},
  journal = {Applied categorical structures 10, pp. 383--402, 2002},
  year = 2002,
}
@article{Institutes,
  author = {T. Mossakowski and Oliver Kutz},
  title = {Institutes: A simpler semantics for heterogeneous ontologies},
  journal = {December 2011, submitted. \url{http://www.informatik.uni-bremen.de/~till/papers/hetonto.pdf}},
  year = 2011,
}
@article{OntoGraph,
  author = {T. Mossakowski and Oliver Kutz},
  title = {The Onto-Logical Translation Graph},
  journal = {In: 5th International Workshop on Modular Ontologies (WoMO) at the 23rd European Summer School in Logic, Language and Information (ESSLLI) (Ljubljana, Slovenia, Aug. 8–12, 2011), Oliver Kutz, T. Schneider (eds.), IOS Press 2011.},
  year = 2011,
}
@article{ThreeSemantics,
  author = {T. Mossakowski and C. Lange and Oliver Kutz},
  title = {Three Semantics for the Core of the Distributed Ontology Language},
  journal = {In Michael Gruninger (Ed.), FOIS 2012: 7th International Conference on Formal Ontology in Information Systems},
  year = 2012,
}
@article{DublinCore,
  author = {DCMI USAGE BOARD},
  title = {DCMI metadata terms},
  journal = {DCMI recommendation, Dublin Core Metadata Initiative, 2003.},
  year = 2003,
}
@article{OMV,
  author = {J. Hartmann and R. Palma and Y. Sure and M. C. S\'arez-Figueroa and P. Haase and  A. G\'omez-P\'erez and R. Studer},
  title = {Ontology metadata vocabulary and applications},
  journal = {In: On the Move to Meaningful Internet Systems 2005: OTM Workshops, R.\ Meersman, Z.\ Tari, P.\ Herrero, et al. (eds.), pp. 906--915, no.\ 3762 in LNCS, Springer, Oct. 2005.},
  year = 2005,
}
@article{uml,
  author = {S. Cranefield and M. Purvis},
  title = {{UML} as an ontology modelling language},
  journal = {In Proceedings of the Workshop on Intelligent Information Integration, 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1999. \url{http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-23/cranefield-ijcai99-iii.pdf}\todonote[author=Christoph Lange,date=D:201107151858+02'00',type=todo]{Properly integrate this (or a newer one)}},
  year = 1999,
}
@article{do-roam,
  author = {M. Codescu and G. Horsinka and Oliver Kutz and T. Mossakowski and R. Rau},
  title = {DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap},
  journal = {In: Fourth International Conference on GeoSpatial Semantics, C. Claramunt, S. Levashkin, M. Bertolotto (eds.), pp. 88--107, no.\ 6631 in LNCS, Springer, 2011.},
  year = 2011,
}
@article{HuQu-08,
  author = {W. Hu and Y. Qu},
  title = {Falcon-AO: A practical ontology matching system},
  journal = {In: Proceedings of WWW-07, pp. 237--239, 2008.},
  year = 2008,
}
@article{dolce,
  author = {C. Masolo and S. Borgo and A. Gangemi and N. Guarino and A. Oltramari},
  title = {Ontology Library},
  journal = {WonderWeb Deliverable, Report No.\ 18 of the Laboratory for Applied Ontology -- ISTC-CNR, Dec.\ 2003. \url{http://www.loa-cnr.it/Papers/D18.pdf}},
  year = 2003,
}
@article{OWLTime,
  author = {J.R. Hobbs and F. Pan},
  title = {An Ontology of Time for the Semantic Web},
  journal = {ACM Transactions on Asian Language Processing (TALIP): Special issue on Temporal Information Processing, Vol. 3, No. 1, March 2004, pp. 66–85.},
  year = 2004,
}

@INPROCEEDINGS{OWLSTime,
  AUTHOR = {Feng Pan and Jerry R. Hobbs},
  TITLE = {{Time in OWL-S}},
  BOOKTITLE = {Proc.\ of the AAAI Spring Symp.\ on Semantic Web Services},
  PAGES = {29--36},
  YEAR = {2004},
}

@article{SROIQ,
  author = {I. Horrocks and Oliver Kutz and U. Sattler},
  title = {The Even More Irresistible SROIQ},
  journal = {In Knowledge representation 2006, p. 57--67},
  year = 2006,
}
@article{Lucanu,
  author = {D. Lucanu and Y.-F. Li and J. Song Dong},
  title = {Semantic Web Languages --- Towards an Institutional Perspective},
  journal = {In: Essays Dedicated to Joseph A. Goguen, Lecture Notes in Computer Science 4060 Springer 2006, p. 99--123},
  year = 2006,
}
@article{F-logic,
  author = {M. Kifer and G. Lausen and J. Wu},
  title = {Logical Foundations of Object-Oriented and Frame-Based Languages},
  journal = {J. ACM 42(4): 741-843, 1995},
  year = 1995,
}
@article{DiaconescuBook,
  author = {Diaconescu, R.},
  title = {Institution-Independent Model Theory},
  journal = {Birkhäuser, 2008},
  year = 2008,
}
@article{Artale02,
  author = {Artale, A. and Franconi, E. and Wolter, F. and Zakharyaschev, M.},
  title = {A temporal description logic for reasoning about conceptual schemas and queries},
  journal = {In: S. Flesca and S. Greco and N. Leone and G. Ianni, Proceedings of the 8th Joint European Conference on Logics in Artificial Intelligence (JELIA-02), Springer LNAI 2424, 98-110, 2002},
  year = 2002,
}
@article{Artale07a,
  author = {Artale, A. and Parent, C. and Spaccapietra, S.},
  title = {Evolving objects in temporal information systems},
  journal = {Annals of Mathematics and Artificial Intelligence 50:5-38, 2007},
  year = 2002,
}
@article{Artale07time,
  author = {Alessandro Artale and Roman Kontchakov and Carsten Lutz and Frank Wolter and Michael Zakharyaschev},
  title = {Temporalising Tractable Description Logic},
  journal = {Proc. of the 14th International Symposium on Temporal Representation and Reasoning (TIME-07), 2007},
  year = 2007,
}
@article{AGK08,
  author = {Alessandro Artale and Nicola Guarino and C. Maria Keet},
  title = {Formalising temporal constraints on part-whole relations},
  journal = {In: Gerhard Brewka and Jerome Lang, 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 673-683, AAAI Press 2008},
  year = 2008,
}

@Article{BizerHeath09,
  author = 	 {Bizer, C. and Heath, T.},
  title = 	 {Linked data---the story so far},
  journal = 	 {International journal on semantic web and information systems},
  year = 	 {2009},
  volume = 	 {5},
  number = 	 {3},
  pages = 	 {1--22},
}

@book{DBLP:series/lncs/5445,
  editor    = {Heiner Stuckenschmidt and
               Christine Parent and
               Stefano Spaccapietra},
  title     = {Modular Ontologies: Concepts, Theories and Techniques for
               Knowledge Modularization},
  booktitle = {Modular Ontologies},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5445},
  year      = {2009},
  isbn      = {978-3-642-01906-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-01907-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:books/daglib/0032976,
  author    = {J{\'e}r{\^o}me Euzenat and
               Pavel Shvaiko},
  title     = {Ontology Matching, Second Edition},
  publisher = {Springer},
  year      = {2013},
  isbn      = {978-3-642-38720-3},
  pages     = {I-XVII, 1-511},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{KhanKeet13,
  author = 	 {Khan, Z. and Keet, C.M.},
  title = 	 {Addressing issues in foundational ontology mediation},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {5th International Conference on Knowledge Engineering and Ontology Development (KEOD'13), Vilamoura, Portugal, 19-22 September},
  year = 	 {2013},
  editor = 	 {Filipe, J. and Dietz, J.},
  pages = 	 {5--16},
  publisher = {SCITEPRESS},
}

@inproceedings{DBLP:conf/ijcai/LutzW11,
  author    = {Carsten Lutz and
               Frank Wolter},
  title     = {Foundations for Uniform Interpolation and Forgetting in
               Expressive Description Logics},
  booktitle = {IJCAI},
  pages     = {989-995},
  ee        = {http://ijcai.org/papers11/Papers/IJCAI11-170.pdf},
  editor    = {Toby Walsh},
  publisher = {IJCAI/AAAI},
  year      = {2011},
  isbn      = {978-1-57735-516-8},
}

@InProceedings{MossakowskiTarlecki09,
  author = {Till Mossakowski and Andrzej Tarlecki},
  title = {Heterogeneous Logical Environments for Distributed Specifications},
  year = {2009},
  editor = {Andrea Corradini and Ugo Montanari},
  booktitle = {WADT 2008},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  number = {5486},
  pages = {266--289},
  keywords = {institutions heterogeneous specification comorphism},
  url = {http://dx.doi.org/10.1007/978-3-642-03429-9_18},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf},
  abstract = {We use the theory of institutions to capture the concept of a
heterogeneous logical environment as a number of institutions linked
by institution morphisms and comorphisms.  We discuss heterogeneous
specifications built in such environments, with inter-institutional
specification morphisms based on both institution morphisms and
comorphisms.
We distinguish three kinds of heterogeneity:
(1) specifications in logical environments with universal logic
(2) heterogeneous specifications focused at a particular logic, and
(3) heterogeneous specifications distributed over a number of logics.},
  status = {Reviewed}
}

@techreport{bagstad_aries_2011,
  author = {Bagstad, Kenneth J. and Villa, Ferdinando and Johnson, Gary W. and Voigt, B.},
  title = {{ARIES} – Artificial Intelligence for Ecosystem Services: A guide to models and data , version 1.0},
  institution = {ARIES},
  type = {Technical Report},
  number = {1},
  year = {2011},
  pages = {126},
  note = {\url{http://ariesonline.org/docs/ARIESModelingGuide1.0.pdf}},
}

@misc{european_comission_inspire_2014,
	title = {{INSPIRE} {Geoportal: Enhancing access to European spatial data}},
	note = {\url{http://inspire-geoportal.ec.europa.eu/}},
	urldate = {2014-10-16},
	author = {European Comission},
	year = {2014},
}

@article{Mossakowski02,
  author =	 {Till Mossakowski},
  title =	 {{Relating {\CASL} with Other Specification Languages:
                  the Institution Level}},
  year =	 2002,
  journal =	 {Theoretical Computer Science},
  volume =	 {286},
  pages =	 {367--475},
}

@Book{CASL-RM,
  author =       "{CoFI (The Common Framework Initiative)}",
  title =        "\textsc{Casl} Reference Manual",
  year =         "2004",
  publisher =    {Springer},
  series =       lncs # "2960 (IFIP Series)",
  annote =       "Gives full details of the design of \textsc{Casl}: an
                 informal language summary, concrete and abstract
                 syntax, well-formedness and model-class semantics, and
                 proof rules. Includes the libraries of basic
                 datatypes.",
}

@INCOLLECTION{knapp-wuttke:models06wsh:2007,
  AUTHOR = {Alexander Knapp and
            Jochen Wuttke},
  TITLE  = {Model Checking of {UML} 2.0 Interactions},
  EDITOR = {Thomas Kühne},
  BOOKTITLE = {Reports Rev. Sel. Papers Wsh.s Symp.s MoDELS 2006},
  PUBLISHER = {Springer},
  SERIES = {Lect. Notes Comp. Sci.},
  NUMBER = {4364},
  YEAR = {2007},
  ISBN = {978-3-540-69488-5},
  PAGES = {42-51},
  EE = {http://dx.doi.org/10.1007/978-3-540-69489-2_6},
}

@MISC{knapp-mossakowski-roggenbach:corr:2014,
  AUTHOR = {Alexander Knapp and
            Till Mossakowski and
            Markus Roggenbach},
  TITLE = {{An Institutional Framework for Heterogeneous Formal Development in UML}},
  YEAR = {2014},
  NOTE = {CoRR abs/1403.7747},
  URL  = {http://arxiv.org/abs/1403.7747},
}

@article{AlignmentAPI,
  author    = {J{\'{e}}r{\^{o}}me David and
               J{\'{e}}r{\^{o}}me Euzenat and
               Fran{\c{c}}ois Scharffe and
               C{\'{a}}ssia Trojahn dos Santos},
  title     = {The Alignment {API} 4.0},
  journal   = {Semantic Web},
  year      = {2011},
  volume    = {2},
  number    = {1},
  pages     = {3--10},
  url       = {http://dx.doi.org/10.3233/SW-2011-0028},
  doi       = {10.3233/SW-2011-0028},
  timestamp = {Mon, 10 Nov 2014 16:01:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/semweb/DavidESS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@TechReport{CommonLogic:oldfashioned,
  key = {CommonLogic},
  crossref = {CommonLogic:base},
  note = {\url{http://iso-commonlogic.org}},
}

@TechReport{CommonLogic:base,
  key = {CommonLogic},
  title = {Information technology --- {Common Logic} ({CL}): a framework for a family of logic-based languages},
  institution = {ISO/IEC},
  number = {24707:2007},
  year = 2007,
}

@INPROCEEDINGS{DGS91,
AUTHOR        = {Diaconescu, R{\u{a}}zvan and Goguen, Joseph and Stefaneas, Petros}, 
TITLE         = {Logical Support for Modularisation},
BOOKTITLE     = {Proceedings of a Workshop on Logical Frameworks},
EDITOR        = {Huet, Gerard and Plotkin, Gordon}, 
YEAR          = {1991},
HOWPUBLISHED  = {Programming Research Group, Oxford University},
}

@Book{STbook,
  author =      "D. Sannella and A. Tarlecki",
  publisher =   "Springer",
  title =       "Foundations of Algebraic Specification and
                 Formal Software Development",
  series =      "Monographs in Theoretical Computer Science. An EATCS Series",
  year =        "2012"
}



@inproceedings{DBLP:conf/owled/SchneiderRS13,
  author    = {Michael Schneider and
               Sebastian Rudolph and
               Geoff Sutcliffe},
  title     = {Modeling in {OWL} 2 without Restrictions},
  booktitle = {Proceedings of the 10th International Workshop on {OWL:} Experiences
               and Directions {(OWLED} 2013) co-located with 10th Extended Semantic
               Web Conference {(ESWC} 2013), Montpellier, France, May 26-27, 2013.},
  year      = {2013},
  crossref  = {DBLP:conf/owled/2013},
  url       = {http://ceur-ws.org/Vol-1080/owled2013_14.pdf},
  timestamp = {Mon, 10 Nov 2014 13:58:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/owled/SchneiderRS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/owled/2013,
  editor    = {Mariano Rodriguez{-}Muro and
               Simon Jupp and
               Kavitha Srinivas},
  title     = {Proceedings of the 10th International Workshop on {OWL:} Experiences
               and Directions {(OWLED} 2013) co-located with 10th Extended Semantic
               Web Conference {(ESWC} 2013), Montpellier, France, May 26-27, 2013},
  series    = {{CEUR} Workshop Proceedings},
  year      = {2013},
  volume    = {1080},
  publisher = {CEUR-WS.org},
  url       = {http://ceur-ws.org/Vol-1080},
  timestamp = {Mon, 10 Nov 2014 13:58:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/owled/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}


@inproceedings{LMK:LoLaModularOntologyLogLangTrans12,
  title = {{LoLa}: A Modular Ontology of Logics, Languages, and Translations},
  author = {Christoph Lange and Till Mossakowski and Oliver Kutz},
  booktitle = {Modular Ontologies},
  editor = {Thomas Schneider and Dirk Walther},
  eventtitle = {6\textsuperscript{th} International Workshop (WoMO)},
  year = {2012},
  eventdate = {2012-07-24},
  venue = {Graz, Austria},
  series = {CEUR Workshop Proceedings},
  number = 875,
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-875},
  keywords = {workshop},
  pubs = {clange,projects/ontoiop}}

@article{Seidewitz08,
    author = {Seidewitz, Ed},
    citeulike-article-id = {10316479},
    journal = {Syntax And Semantics},
    keywords = {2008, uml},
    month = aug,
    pages = {1--13},
    posted-at = {2012-02-05 18:25:13},
    priority = {2},
    title = {{Model Semantics and Mathematical Logic}},
    year = {2008}
}



@inproceedings{DBLP:conf/ijcai/LutzWW07,
  author    = {Carsten Lutz and
               Dirk Walther and
               Frank Wolter},
  title     = {Conservative Extensions in Expressive Description Logics},
  booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages     = {453--458},
  year      = {2007},
  crossref  = {DBLP:conf/ijcai/2007},
  url       = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-071.pdf},
  timestamp = {Fri, 11 Nov 2011 07:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/LutzWW07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/ijcai/2007,
  editor    = {Manuela M. Veloso},
  title     = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  year      = {2007},
  timestamp = {Fri, 19 Dec 2008 17:01:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}



@inproceedings{DBLP:conf/birthday/GoguenR04,
  author    = {Joseph A. Goguen and
               Grigore Rosu},
  title     = {Composing Hidden Information Modules over Inclusive Institutions},
  booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  pages     = {96--123},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004dahl},
  url       = {http://dx.doi.org/10.1007/978-3-540-39993-3_7},
  doi       = {10.1007/978-3-540-39993-3_7},
  timestamp = {Tue, 05 Jul 2011 11:03:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/GoguenR04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/birthday/2004dahl,
  editor    = {Olaf Owe and
               Stein Krogdahl and
               Tom Lyche},
  title     = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
               Dahl},
  series    = {Lecture Notes in Computer Science},
  volume    = {2635},
  publisher = {Springer},
  year      = {2004},
  isbn      = {3-540-21366-X},
  timestamp = {Fri, 12 Mar 2004 08:54:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2004dahl},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/ai/KontchakovWZ10,
  author    = {Roman Kontchakov and
               Frank Wolter and
               Michael Zakharyaschev},
  title     = {Logic-based ontology comparison and module extraction, with an application
               to {DL-Lite}},
  journal   = {Artif. Intell.},
  volume    = {174},
  number    = {15},
  pages     = {1093--1141},
  year      = {2010},
  url       = {http://dx.doi.org/10.1016/j.artint.2010.06.003},
  doi       = {10.1016/j.artint.2010.06.003},
  timestamp = {Thu, 09 Sep 2010 10:40:31 +0200},
  biburl    = {http://dblp2.uni-trier.de/rec/bib/journals/ai/KontchakovWZ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{RabKoh:WSMSML13,
  author = {Florian Rabe and Michael Kohlhase},
  title = {A Scalable Module System},
  journal = {Information \& Computation},
  url = {http://kwarc.info/frabe/Research/mmt.pdf},
  year=2013,
  pages = "1--95",
  pubs = {mkohlhase,frabe,projects/omdoc}}

@InProceedings{IbanezEtAl15,
  author =       {Yazmin Angelica Ibanez and Till Mossakowski and Andrzej Tarlecki and Don Sannella},
  title =        {Notions of Modularity for Ontologies and Specifications},
  booktitle = {Logic, Rewriting, and Concurrency: A Festschrift Symposium in Honor of José Meseguer},
  year =      {2015},
  editor =    {Narciso Marti-Oliet et al.},
  OPTvolume =    {},
  series =    {Lecture Notes in Computer Science},
  OPTpages =     {},
  publisher = {Springer},
  note =         {To appear},
}

@INPROCEEDINGS{mossakowskiEtAl14b,
  AUTHOR = {Till Mossakowski and
            Mihai Codescu and
            Oliver Kutz and
            Christoph Lange and
            Michael Gruninger},
  TITLE = {Proof Support for Common Logic},
  BOOKTITLE = {Proc. Wsh. Automated Reasoning for Quantified Non-Classical Logic (ARQNL)},
  YEAR = {2014},
  keywords = {Common Logic proof Hets translation},
  pdfurl = {http://www.informatik.uni-bremen.de/~okutz/resources/Proof-Support-for-Common-Logic.pdf},
  abstract = {We present the theoretical background for an extension of the Heterogeneous Tool Set HETS
that enables proof
support for Common Logic. This is achieved via logic translations that relate Common Logic and some of its sublogics
to already supported logics and automated theorem proving systems. We thus provide the first theorem proving support
for Common Logic covering the full language, including the possibility of verifying meta-theoretical relationships
between Common Logic theories.},
  status = {Reviewed},
}


@InProceedings{MossakowskiEtAl15a,
  author = 	 {Till Mossakowski and Ulf Krumnack and Tom Maibaum},
  title = 	 {What is a derived signature morphism?},
  booktitle =    {WADT 2014},
  year = 	 {2015},
  editor = 	 {R. Diaconescu and M. Codescu and I. Tutu},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer},
  note = 	 {To appear},
}

@BOOK{AHS,
AUTHOR = "J. Ad\'{a}mek and 
H. Herrlich and
G. Strecker",
TITLE ="Abstract and Concrete Categories",
PUBLISHER = "Wiley, New York",
YEAR = 1990}

@book{MacLane,
   author =    {S. {Mac Lane}},
   title =     {Categories for the Working Mathematician},
   publisher = {Springer},
   note = {Second edition},
   year = 1998}