extpubs.bib

  url = {http://www.aclweb.org/anthology-new/D/D10/D10-1113.pdf},
  pages = 	 {1162--1172}}



@InProceedings{ThaFuePin:csrsvm10,
  author = 	 {Thater, S. and F{\"u}rstenau and H. and Pinkal, M.},
  title = 	 {Contextualizing semantic representations using syntactically enriched vector models.},
  crossref =  {ACL10},
  url = {http://eprints.pascal-network.org/archive/00008090/01/acl10_contextualizing.pdf},
  pages = 	 {948--957}}

%Inferenz

@InProceedings{LinPan:dirt01,
  author = 	 {Lin, D. and Pantel, P.},
  title = 	 {DIRT@ SBT@ discovery of inference rules from text},
  crossref =  {SIGKDD01},
  pages = 	 {323--328},
  url = {http://www.egr.msu.edu/~jchai/QAPapers/InferenceRulesQA-Lin.pdf}}


@InProceedings{BhaPanHov:ledir07,
  author = 	 {Bhagat, R. and Pantel, P. and  Hovy, E. H. and Rey, M.},
  title = 	 {LEDIR: An Unsupervised Algorithm for Learning Directionality of Inference Rules},
  booktitle = {EMNLP-CoNLL},
  pages = 	 {161--170},
  year = 	 2007,
  url = {http://acl.ldc.upenn.edu/D/D07/D07-1017.pdf}}


@InProceedings{PanBhaCop:lisp07,
  author = 	 {Pantel, P. and Bhagat, R. and Coppola, B. and Chklovski, T. and Hovy, E. H.},
  title = 	 {ISP: Learning Inferential Selectional Preferences},
  url = {http://acl.ldc.upenn.edu/N/N07/N07-1071.pdf},
  crossref = {HLT-NAACL},
  pages = 	 {564--571}}


%Textueller Inferenz


@InCollection{DagGliMag:prtec06,
  author = 	 {Dagan, I. and Glickman, O. and Magnini, B.},
  title = 	 {The pascal recognising textual entailment challenge},
  booktitle = 	 {Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment},
  pages = 	 {177--190},
  publisher = {Springer Berlin Heidelberg},
  year = 	 2006,
  url = {http://eprints.pascal-network.org/archive/00001298/01/dagan_et_al_rte05.pdf}}


@InProceedings{BosMar:rteli05,
  author = 	 {Bos, J. and Markert, K.},
  title = 	 {Recognising textual entailment with logical inference.},
  booktitle = {Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing},
  pages = 	 {628--635},
  year = 	 2005,
  month = 	 {october},
  publisher = {Association for Computational Linguistics},
  url = 	 {http://acl.ldc.upenn.edu/H/H05/H05-1079.pdf}}

@PhdThesis{MacCartney:nli09,
  author = 	 {MacCartney, B.},
  title = 	 {Natural language inference},
  school = 	 {Stanford University},
  year = 	 2009,
  doi= {10.1.1.156.2685}}

@misc{AndMal:sptem09,
   year = 2009,
   eprint = {0912.3747},
   eprinttype = {arxiv},
   author = {Androutsopoulos, I. and Malakasiotis, P.},
   title = {A survey of paraphrasing and textual entailment methods},
    url = {http://arxiv.org/pdf/0912.3747.pdf}}

@InProceedings{MacMan:nlti07,
  author = 	 {MacCartney, B. and Manning, C. D.},
  title = 	 {Natural logic for textual inference},
  booktitle = {Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing},
  pages = 	 {193--200},
  year = 	 2007,
  month = 	 {june},
  publisher = {Association for Computational Linguistics},
  url = {http://acl.ldc.upenn.edu/W/W07/W07-14.pdf#page=207}}

%Grounding

@InProceedings{BruTraBar:dsti11,
  author = 	 {Bruni, E. and Tran, G. B. and Baroni, M.},
  title = 	 {Distributional semantics from text and images},
  booktitle = {Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics},
  pages = 	 {22--32},
  year = 	 2011,
  month = 	 {July},
  publisher = {Association for Computational Linguistics},
  url = {http://www.newdesign.aclweb.org/anthology-new/W/W11/W11-25.pdf#page=32}}


@InProceedings{RegRohWet:gadv13,
  author = 	 {Regneri, M. and Rohrbach, M. and Wetzel, D. and Thater, S. and Schiele, B. and Pinkal, M.},
  title = 	 {Grounding Action Descriptions in Videos},
  url = {http://www.aclweb.org/anthology/Q/Q13/Q13-1003.pdf}}

@InProceedings{TitKoz:bsanct10,
  author = 	 {Titov, I. and Kozhevnikov, M.},
  title = 	 {Bootstrapping semantic analyzers from non-contradictory texts},
  crossref = 	 {ACL10},
  pages = 	 {958--967},
  url = 	 {http://people.mmci.uni-saarland.de/~titov/papers/acl10_sem.pdf}}

@InProceedings{SilLap:gmsr12,
  author = 	 {Silberer, C. and Lapata, M.},
  title = 	 {Grounded models of semantic representation},
  crossref =  {CEMNLP-CNLL12},
  pages = 	 {1423--1433},
  url = {https://www.aclweb.org/anthology/D/D12/D12-1130.pdf}}

%Role Labeling

@Article{GilJur:alsr02,
  author = 	 {Gildea, D. and Jurafsky, D.},
  title = 	 {Automatic labeling of semantic roles},
  journal = 	 {Computational linguistics},
  year = 	 2002,
  volume = 	 28,
  number = 	 3,
  pages = 	 {245--288},
  url = {http://acl.ldc.upenn.edu/J/J02/J02-3001.pdf}}

@InProceedings{DasSchChe:pfsp10,
  author = 	 {Das, D. and Schneider, N. and Chen, D. and Smith, N. A.},
  title = 	 {Probabilistic frame-semantic parsing},
  crossref =  {HLT-NAACL10},
  pages = 	 {948--956},
  url = {http://www.aclweb.org/anthology-new/N/N10/N10-1138.pdf}}

@InProceedings{LanLap:usrigp11,
  author = 	 {Lang, J. and Lapata, M.},
  title = 	 {Unsupervised semantic role induction with graph partitioning},
  crossref =  {CEMNLP11},
  url = {http://www.aclweb.org/anthology/D/D11/D11-1122.pdf},
  pages = 	 {1320--1331}}


% Induktives Lernen komplexer semantischer Strukturen

@InProceedings{PooDom:usp09,
  author = 	 {Poon, H. and Domingos, P.},
  title = 	 {Unsupervised semantic parsing},
  crossref =  {CEMNLP09},
  pages = 	 {1--10},
  url = {http://ml.cs.washington.edu/www/media/papers/poon09.pdf}}

@InProceedings{TitKle:bmusp11,
  author = 	 {Titov, I. and Klementiev, A.},
  title = 	 {A Bayesian model for unsupervised semantic parsing},
  crossref =  {ACL11},
  url = {http://www.newdesign.aclweb.org/anthology-new/P/P11/P11-1145.pdf},
  pages = 	 {1445-1455}}

%%%%%%%%%% End St. Johann

@article{BatKol:GeospatialSemWeb12,
  author = {Robert Battle and Dave Kolas},
  title = {Enabling the geospatial {Semantic Web} with {Parliament} and {GeoSPARQL}},
  journal = {Semantic Web},
  volume = 3,
  number = 4,
  pages = {355--370},
  year = 2012,
  url = {http://www.semantic-web-journal.net/content/enabling-geospatial-semantic-web-parliament-and-geosparql}
}

@TechReport{PlanetData:ContextualAspects13,
  author = 	 {Andreas Harth and Juan Salas and Anisa Rula and Boris Villaz{\'o}n-Terrazas and Jasna {\v S}krbec and Carolina Fortuna},
  title = 	 {Modelling and Processing Contextual Aspects of Data},
  institution =  {PlanetData Network of Excellence},
  year = 	 {2013},
  type =	 {Deliverable},
  number =	 {D2.3},
  url = 	 {http://www.planet-data.eu/sites/default/files/D2.3.pdf}}

@online{Thereaux:ConNeg06,
  author = {Olivier Thereaux},
  title = {Content Negotiation: why it is useful, and how to make it work},
  date = {2006-02-21},
  url = {http://www.w3.org/blog/2006/02/content-negotiation/},
}

@book{Hales:DenseSpherePackings12,
  author = {Thomas Hales},
  title = {Dense Sphere Packings},
  subtitle = {A Blueprint for Formal Proofs},
  publisher = {Cambridge University Press},
  date = {2012-09-06},
  series = {London Mathematical Society Lecture Note Series},
  number = 400,
}

@BOOK{WardEtAl:Visualization_2010,
	author = {Ward, Matthew O. and Grinstein, Georges and Keim, Daniel A.},
	month = May,
	publisher = {A. K. Peters, Ltd},
	title = {{Interactive Data Visualization: Foundations, Techniques, and Application}},
	year = {2010},
}

@article{OBrienEtAl:UseOfPriorKnowledge_2012,
 author = {O'brien, Marita A. and Rogers, Wendy A. and Fisk, Arthur D.},
 title = {Understanding age and technology experience differences in use of prior knowledge for everyday technology interactions},
 journal = {ACM Trans. Access. Comput.},
 issue_date = {March 2012},
 volume = {4},
 number = {2},
 month = mar,
 year = {2012},
 issn = {1936-7228},
 pages = {9:1--9:27},
 articleno = {9},
 numpages = {27},
 doi = {10.1145/2141943.2141947},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Prior knowledge, aging, older adults, prior experience, technology experience, troubleshooting},
}

@article{HassenzahlEtAl:AllYouNeedIsLove_2012,
 author = {Hassenzahl, Marc and Heidecker, Stephanie and Eckoldt, Kai and Diefenbach, Sarah and Hillmann, Uwe},
 title = {All You Need is Love: Current Strategies of Mediating Intimate Relationships through Technology},
 journal = {ACM Trans. Comput.-Hum. Interact.},
 issue_date = {December 2012},
 volume = {19},
 number = {4},
 month = dec,
 year = {2012},
 issn = {1073-0516},
 pages = {30:1--30:19},
 articleno = {30},
 numpages = {19},
 doi = {10.1145/2395131.2395137},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Experience design, emotional communication, interaction design, intimate relationships, long-distance relationships, relatedness, review},
}

@incollection{BorGroe:mds05,
    label     = {MDS},
	year      = {2005},
        author =    {Ingwer Borg and Patrick Groenen},
	isbn      = {978-0-387-25150-9},
	booktitle = {Modern Multidimensional Scaling},
	series    = {Springer Series in Statistics},
	doi       = {10.1007/0-387-28981-X_3},
	title     = {MDS Models and Measures of Fit},
	url       = {http://dx.doi.org/10.1007/0-387-28981-X_3},
	publisher = {Springer New York},
	pages     = {37-61},
	language  = {English}
}

@Book{PahBei:ed07,
  author = 	 {Gerhard Pahl and Wolfgang Beitz and J{\"o}rg Feldhusen and Karl-Heinrich Grote},
  title = 	 {Engineering Design},
  publisher = 	 {Springer Verlag},
  year = 	 2007,
  edition = 	 {3rd}}

@InProceedings{chakravarthy2006aktivemedia,
  title =	 {AKTiveMedia: Cross-media document annotation and
                  enrichment},
  author =	 {Ajay Chakravarthy and Fabio Ciravegna and Vitaveska Lanfranchi},
  booktitle =	 {Semantic Web Annotation of Multimedia (SWAMM-06)},
  year =	 {2006}
}

@online{hypothes.is:on,
  label={HYP},
  title		= {Hypothes.is},
  urldate	= {2015-05-30},
  url		= {http://hypothes.is}}

@online{brat:on,
  label = {BR},
  title = {brat rapid annotation tool},
  urldate = {2014-02-15},
  url = {http://brat.nlplab.org}}

@online{yawas:on,
  label={YW},
  title = {Yawas - The Original Web Highlighter},
  urldate = {2014-02-15},
  url = {http://www.keeness.net/yawas/}}

@online{annotatie:on,
  label={AN},
  title = {Annotation tool},
  urldate = {2014-02-15},
  url = {Http://www.annotatiesysteem.nl}}

@TECHREPORT{Liguda2014:Extraction,
  author = {Christian Liguda},
  title = {From Spreadsheet Data to Structural Knowledge},
  institution = {German Research Center for Artificial Intelligence (DFKI GmbH),},
  year = {2014},
  archiveprefix = {arXiv},
  eprint = {0000.0000},
  owner = {cliguda},
  primaryclass = {cs.SE},
  timestamp = {2014.02.05}
}

@TECHREPORT{Liguda2014:Verification,
  author = {Christian Liguda},
  title = {Verification and Testing of Spreadsheets},
  institution = {German Research Center for Artificial Intelligence (DFKI GmbH),},
  year = {2014},
  archiveprefix = {arXiv},
  eprint = {0000.0000},
  owner = {cliguda},
  primaryclass = {cs.SE},
  timestamp = {2014.02.05}
}

@book{Morville:SearchPatterns:2010,
  title={Search Patterns: Design for Discovery},
  author={Morville, P. and Callender, J.},
  isbn={9781449383060},
  year={2010},
  publisher={O'Reilly Media}
}

@inproceedings{Libbrecht:TooPreciseTopicQueries:2013,
  author    = {Paul Libbrecht},
  title     = {Escaping the Trap of Too Precise Topic Queries},
  booktitle = {MKM/Calculemus/DML},
  year      = {2013},
  pages     = {296-309},
   crossref = {CICM-WS-WiP2013}
}

@article{WiseEtAl:SearchingVsSurfing:2009,
 author = {Kevin Wise and Hyo Jung Kim and Jeesum Kim},
 title = {The effect of searching versus surfing on cognitive and emotional responses to online news},
 journal = {Journal of Media Psychology: Theories, Methods, and Applications},
 volume = {21},
 number = {2},
 year = {2009},
 pages = {49--59},
 doi = {10.1027/1864-1105.21.2.49},
 publisher = {APA PsycNet},
}

@inproceedings{NavarroEtAl:CognStrategiesSearching:1999,
  author = {Navarro-Prieto, R. and Scaife, M. and Rogers, Y.},
  booktitle = {Proceedings of the 5th Conference on Human Factors \& the Web},
  title = {{Cognitive strategies in web searching}},
  year = 1999
}

@article{Taylor:ProcessOfAskingQuestions:1962,
 author = {Robert S. Taylor},
 title = {The process of Asking Questions},
 journal = {American Documentation},
 volume = {13},
 number = {4},
 year = {1962},
 pages = {391-396},
doi={10.1002/asi.5090130405},
 publisher = {Wiley Periodicals},
}

@article{Chang:InfluenceOfTaylorsQuestions:2013,
 author = {Chang, Yu-Wei},
 title = {The Influence of Taylor's Paper, Question-Negotiation and Information-Seeking in Libraries},
 journal = {Inf. Process. Manage.},
 issue_date = {September, 2013},
 volume = {49},
 number = {5},
 month = sep,
 year = {2013},
 issn = {0306-4573},
 pages = {983--994},
 numpages = {12},
 doi = {10.1016/j.ipm.2013.03.003},
 publisher = {Pergamon Press, Inc.},
 address = {Tarrytown, NY, USA},
}

@article{Kellar:InformationSeekingTasks:2007,
  author    = {Melanie Kellar and Carolyn R. Watters and Michael A. Shepherd},
  title     = {A field study characterizing Web-based information-seeking tasks},
  journal   = {JASIST},
  volume    = {58},
  number    = {7},
  year      = {2007},
  pages     = {999-1018},
}

@book{Kuhltau:SeekingMeaning:2004,
  author = {Kuhlthau, Carol Collier},
  title = {Seeking meaning. A process approach to library and information services},
  edition = {2.},
  pages = {XVII, 247},
  publisher = {Libraries Unlimited},
  year = {2004}}

@article{KuhltauEtAl:InformationSeekingRevisited:2008,
 author={Carol C. Kuhlthau and Jannica Heinstr{\"o}m and Ross J. Todd},
 title={The information search process revisited: is the model still useful?},
journal={ir information research},
volume={13},
number={4},
year={2008},
publisher={informationr.net}}

@online{OpenRepGrid,
label = {ORep},
title = {openrepgrid.org},
url = {http://www.openrepgrid.org},
urldate = {2014-03-14}}

@inproceedings{YuWoodard:MashupEcosystem:2008,
   author              = {Shuli Yu and C. Jason Woodard},
   title               = {Innovation in the Programmable Web: Characterizing the Mashup Ecosystem.},
   booktitle           = {ICSOC Workshops},
   year                = {2008},
   pages               = {136-147},
   ee                  = {http://dx.doi.org/10.1007/978-3-642-01247-1_13},
   crossref            = {2008},
}

@incollection{PietschmannEtAl:RichCommPatternsMashUps:2012,
year={2012},
isbn={978-3-642-31752-1},
booktitle={Web Engineering},
volume={7387},
series={Lecture Notes in Computer Science},
editor={Brambilla, Marco and Tokuda, Takehiro and Tolksdorf, Robert},
doi={10.1007/978-3-642-31753-8_25},
title={Rich Communication Patterns for Mashups},
publisher={Springer Berlin Heidelberg},
author={Pietschmann, Stefan and Voigt, Martin and Mei{\ss}ner, Klaus},
pages={315-322}}

@INPROCEEDINGS{Pietschmann:MetaModelMashups:2010,
author = {Stefan Pietschmann and Vincent Tietz and Jan Reimann and Christian Liebing and Mich{\'{e}}l Pohle and Klaus Mei{\ss}ner},
title = {A Metamodel for Context-Aware Component-Based Mashup Applications},
booktitle = {Proceedings of the 12th International Conference on Information Integration and Web-based Applications {\&} Services (iiWAS 2010)},
isbn = {978-1-4503-0421-4},
year = {2010},
month = {nov},
publisher = {ACM}}

@Inproceedings{KoschmiderEtAl:MashupHype:2009,
	address = {Madrid},
	booktitle = {2nd Workshop on Mashups, Enterprise Mashups and Lightweight Composition on the Web in conjunction with the 18th International World Wide Web Conference},
	month = {April},
	title = {Elucidating the Mashup Hype: Definition, Challenges, Methodical Guide and Tools for Mashups},
	year = {2009},
	type = {Inproceedings},
	author = {Agnes Koschmider and Victoria Torres and Vicente Pelechano}}

@inproceedings{SalminenMikkonen:MashupEcosystems:2012,
  author    = {Arto Salminen and Tommi Mikkonen},
  title     = {Mashups - Software Ecosystems for the Web Era},
  booktitle = {IWSECO@ICSOB},
  year      = {2012},
  pages     = {18-32},
  ee        = {http://ceur-ws.org/Vol-879/paper2.pdf},
  crossref  = {IWSECO12}}

@inproceedings{CappielloEtAl:QualityModelMashups:2009,
 author = {Cappiello, Cinzia and Daniel, Florian and Matera, Maristella},
 title = {A Quality Model for Mashup Components},
 booktitle = {Proceedings of the 9th International Conference on Web Engineering},
 series = {ICWE'09},
 year = {2009},
 isbn = {978-3-642-02817-5},
 location = {San Sebastian, Spain},
 pages = {236--250},
 numpages = {15},
 doi = {10.1007/978-3-642-02818-2_19},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg}}

@article{ShethEtAl:SA-REST:2007,
  author = {Sheth, Amit P. and Gomadam, Karthik and Lathem, Jon},
  date = {2007-11-08},
  description = {dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MIC.2007.133},
  journal = {IEEE Internet Computing},
  number = 6,
  pages = {91-94},
  title = {SA-REST: Semantically Interoperable and Easier-to-Use Services and Mashups.},
  volume = 11,
  year = 2007
}

@article{DanielEtAl:UnderstandingUIIntegration:2007,
  author    = {Florian Daniel and Jin Yu and Boualem Benatallah and Fabio Casati and Maristella Matera and R{\'e}gis Saint-Paul},
  title     = {Understanding UI Integration: A Survey of Problems, Technologies, and Opportunities},
  journal   = {IEEE Internet Computing},
  volume    = {11},
  number    = {3},
  year      = {2007},
  pages     = {59-66},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MIC.2007.74}}

@inproceedings{DanielEtAl:MashArt:2009,
  author = {Daniel, Florian and Casati, Fabio and Soi, Stefano and Fox, Jonny and Zancarli, David and Shan, Ming-Chien},
  booktitle = {ICSOC/ServiceWave},
  date = {2009-11-26},
  description = {dblp},
  editor = {Baresi, Luciano and Chi, Chi-Hung and Suzuki, Jun},
  isbn = {978-3-642-10382-7},
  pages = {647--648},
  series = {Lecture Notes in Computer Science},
  title = {Hosted Universal Integration on the Web: The mashArt Platform.},
  volume = {5900},
  year = {2009}}

@INPROCEEDINGS{PietschmannEtAl:ContextAwarenessInMashups:2011,
author = {Stefan Pietschmann and Carsten Radeck and Klaus Mei\ss{}ner},
title = {Facilitating Context-Awareness in Composite Mashup Applications},
booktitle = {Proceedings of the 3rd International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE)},
isbn = {978-1-61208-011-6},
publisher = {XPS},
month = sep,
year = {2011}
}

@INPROCEEDINGS{Pietschmann:SemBasedPresMashups:2011,
author = {Stefan Pietschmann and Carsten Radeck and Klaus Mei\ss{}ner},
title = {Semantics-Based Discovery, Selection and Mediation for Presentation-Oriented Mashups},
booktitle = {Proceedings of the 5th International Workshop on Web APIs and Service Mashups},
publisher = {ACM},
isbn = {978-1-4503-0823-6},
doi = {10.1145/2076006.2076014},
series = {ACM ICPS},
month = sep,
year = {2011}
}

@misc{Guo:TheFourElementsOfUX:2012,
author={Frank Guo},
title={More Than Usability: The Four Elements of User Experience},
year = {2012},
howpublished = {Available at {\url{http://www.uxmatters.com}}},
  note =	 {Accessed on 2014-04-01}}

@inproceedings{HeideckerHassenzahl_RGTFuerAttraktivitaet_2007,
  author    = {Stephanie Heidecker and  Marc Hassenzahl},
  title     = {Eine gruppenspezifische Repertory Grid Analyse der wahrgenommenen
               Attraktivit{\"a}t von Uni\-ver\-si\-t{\"a}ts\-web\-sites},
  booktitle = {Mensch {\&} Computer},
  year      = {2007},
  pages     = {129-138},
  crossref  = {DBLP:conf/mc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@BOOK{Jankowicz:2003,
title = {The Easy Guide to Repertory Grids},
publisher = {Wiley},
year = {2003},
author = {Devi Jankowicz},
isbn = {0470854049}
}



@article{TanHunter:RGTinIT2002,
     title = {The Repertory Grid Technique: A Method for the Study of Cognition in Information Systems},
     author = {Tan, Felix B. and M. Gordon Hunter},
     journal = {MIS Quarterly},
     volume = {26},
     number = {1},
     pages = {pp. 39-57},
     ISSN = {02767783},
     abstract = {Recent studies have confirmed the importance of understanding the cognition of users and information systems (IS) professionals. These works agree that organizational cognition is far too critical to be ignored as it can impact on IS outcomes. While cognition has been considered in a variety of IS contexts, no specific methodology has dominated. A theory and method suitable to the study of cognition-defined as personal constructs that individuals use to understand IT in organizations-is Kelly's (1955) personal construct theory and its cognitive mapping tool known as the repertory grid (RepGrid). This article expounds on the potential of this technique to IS researchers by considering the variety of ways the RepGrid may be employed. The flexibility of the RepGrid is illustrated by examining published studies in IS. The diagnostic qualities of the RepGrid and its mapping outcomes can be used for practical intervention at the individual and organizational levels.},
     language = {English},
     year = {2002},
     publisher = {Management Information Systems Research Center, University of Minnesota},
    }

@article{HertzumEtAl:PersonalUsabilityConstructs2012,
  author    = {Morten Hertzum and
               Torkil Clemmensen},
  title     = {How do usability professionals construe usability?},
  journal   = {Int. J. Hum.-Comput. Stud.},
  volume    = {70},
  number    = {1},
  year      = {2012},
  pages     = {26-42}
}

@InBook{Kelly:BriefIntroductionToPCT,
  author =	 {George Kelly},
  title = 	 {International Handbook of Personal Construct Technology},
  chapter = 	 {A Brief Introduction to Personal Construct Theory},
  publisher = 	 {John Wiley \& Sons},
  year = 	 2003,
  pages =	 {3--20}
}

@article {Gower:GeneralizedProcrustesAnalysis_1975,
   author = {Gower, J.},
   affiliation = {Rothamsted Experimental Station Harpenden Herts Harpenden Herts},
   title = {Generalized procrustes analysis},
   journal = {Psychometrika},
   publisher = {Springer New York},
   issn = {0033-3123},
   keyword = {Psychologie und Verhalten},
   pages = {33-51},
   volume = {40},
   issue = {1},
   year = {1975}
}

@article{AvigadHarrison:FormallyVerifiedMath:2014,
 author = {Avigad, Jeremy and Harrison, John},
 title = {Formally Verified Mathematics},
 journal = {Commun. ACM},
 issue_date = {April 2014},
 volume = {57},
 number = {4},
 month = apr,
 year = {2014},
 issn = {0001-0782},
 pages = {66--75},
 numpages = {10},
 doi = {10.1145/2591012},
 acmid = {2591012},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{AtiyahEtAl:MathBeauty:2014,
author={Zeki, Semir and Romaya, John Paul and Benincasa, Dionigi M.T. and Atiyah, Michael F},
title={The Experience of Mathematical Beauty and its Neural Correlates},
journal={Frontiers in Human Neuroscience},
volume={8},
year={2014},
number={68},
issn={1662--5161}}

@book{Jarvis:WhatWouldGoogleDo:2009,
  title={What Would Google Do?},
  author={Jarvis, Jeff},
  isbn={9780007312108},
  year={2009},
  publisher={HarperCollins Publishers Limited}
}


@book{Russell:Mysticism:2004,
  title={Mysticism and Logic},
  author={Russell, Bertrand},
  isbn={9780486434407},
  series={Dover Books on Western Philosophy},
  year={2004},
  publisher={Dover Publications}
}

@TECHREPORT{w3c:REC-vocab-dcat-20140116,
  title = {Data Catalog Vocabulary ({DCAT})},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2014-01-16},
  type = {{W3C} {Recommendation}},
  author = {Fadi Maali and John Erickson and Phil Archer},
  url = {http://www.w3.org/TR/2014/REC-vocab-dcat-20140116/}}

@TECHREPORT{w3c:REC-vocab-data-cube-20140116,
  title = {The {RDF} Data Cube Vocabulary},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2014-01-16},
  type = {{W3C} {Recommendation}},
  author = {Richard Cyganiak and Dave Reynolds and Jeni Tennison},
  url = {http://www.w3.org/TR/2014/REC-vocab-data-cube-20140116/}}

@book{Hearst:SearchUserInterfaces:2009,
 author = {Hearst, Marti A.},
 title = {Search User Interfaces},
 year = {2009},
 isbn = {0521113792, 9780521113793},
 edition = {1st},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@online{morphit,
label = {mph},
title = {Spreadsheet technology used to handle multi-dimensional data},
url = {http://www.edge-ka.com/products/morphit},
urldate = {2014-07-23}}

@inproceedings{BrylEtAl:SePublica2014,
title = {What's in the proceedings? Combining publisher's and researcher's perspectives},
author = {Volha Bryl and Aliaksandr Birukou and Kai Eckert and Mirjam Kessler},
url = {http://ceur-ws.org/Vol-1155#paper-01},
crossref = {SEPUBLICA14},
}

@TechReport{Farmer:casttuqe10,
  author = 	 {William M. Farmer},
  title = 	 {Chiron: A set theory with types, undefinedness, quotation, and evaluation},
  institution =  {McMaster University},
  year = 	 2010,
  type = 	 {SQRL Report},
  number = 	 38,
  url = {http://imps.mcmaster.ca/doc/chiron-tr.pdf},
  note = 	 {originally published 2007, revised}}

@techreport{OntoIOp-RFP,
institution = {Object Management Group},
title = {Ontology, Model and Specification Integration and Interoperability (OntoIOp)},
type= {Request For Proposal},
number = {ad/2013-12-02},
url = {http://www.omg.org/cgi-bin/doc?ad/2013-12-02},
year = 2013,
date = {2013-12-02},
}

@online{OMG-Process-RFP,
organization = {Object Management Group},
title = {{OMG} Technology Adoption Process.  Part II: {TF} Issues {RFP} and Evaluates Submissions},
url = {http://www.omg.org/gettingstarted/process2-RFP.htm},
date = {2014-02-27},
year = 2014,
}

@unpublished{DOL,
  author = {Till Mossakowski and Oliver Kutz and Fabian Neuhaus and Mihai Codescu and Christoph Lange and Michael Gruninger and Maria Keet},
  title = {The Distributed Ontology, Modeling and Specification Language},
  note =         {Draft answer to the OMG RFP ``OntoIOp''},
  url =          {https://github.com/tillmo/DOL},
  year =         {2014},
}

@online{5StarVocabUse,
  author = {Krzysztof Janowicz and Pascal Hitzler and Benjamin Adams and Dave Kolas and Vardeman II, Charles},
  title = {Five Stars of Linked Data Vocabulary Use},
  url = {http://www.semantic-web-journal.net/content/five-stars-linked-data-vocabulary-use},
  year = 2014,
}

@inproceedings{ontohub2014,
        eventtitle = {Satellite workshop of ICTAC-2014},
        venue = {University of Bucharest},
        eventdate = {2014-09-15/2014-09-16},
        Author = {Till Mossakowski and Oliver Kutz and Mihai Codescu},
        Booktitle = {Theory Day in Computer Science (DACS-2014)},
        Title = {{Ontohub: A semantic repository for heterogeneous ontologies}},
        Year = {2014}
}

@INPROCEEDINGS{Autexier15:StructureFormation,
  author = {Serge Autexier and Dieter Hutter},
  title = {Structure Formation in Large Theories},
  pages = {155--170},
  crossref = {CICM15}}

@Book{hottbook,
  author =    {The {Univalent Foundations Program}},
  title =     {Homotopy Type Theory: Univalent Foundations of Mathematics},
  publisher = {\url{http://homotopytypetheory.org/book}},
  address =   {Institute for Advanced Study},
  year =      2013}

@article{CofSon:RebKow2012,
	Author = {Mark W. Coffey and Jonathan Sondow},
	Title = {Rebuttal of Kowalenko's paper as concerns the irrationality of Euler's constant},
	Year = {2012},
	Eprint = {arXiv:1202.3093},
	Howpublished = {Acta Applicandae Mathematicae: Volume 121, Issue 1 (2012), Page
				    1-3}
}

@article{Kow:LogNum2010,
		title={Properties and applications of the reciprocal logarithm numbers},
		author={Kowalenko, Victor},
		journal={Acta applicandae mathematicae},
		volume={109},
		number={2},
		pages={413--437},
		year={2010},
		publisher={Springer}
}

@article{physics/9807021,
  Author = {H. Ruhl and Y. Sentoku and K. Mima and K. A. Tanaka and R. Kodama},
  Title = {Collimated electron jets by intense laser beam-plasma surface interaction under oblique incidence},
  Year = {1998},
  Eprint = {physics/9807021},
  Eprinttype = {arXiv},
  Doi = {10.1103/PhysRevLett.82.743},
}

@Article{astropy,
  Title                    = {{Astropy: A community Python package for astronomy}},
  Author                   = {{Astropy Collaboration} and {Robitaille}, T.~P. and {Tollerud}, E.~J. and
    {Greenfield}, P. and {Droettboom}, M. and {Bray}, E. and {Aldcroft}, T. and
    {Davis}, M. and {Ginsburg}, A. and {Price-Whelan}, A.~M. and
    {Kerzendorf}, W.~E. and {Conley}, A. and {Crighton}, N. and
    {Barbary}, K. and {Muna}, D. and {Ferguson}, H. and {Grollier}, F. and
    {Parikh}, M.~M. and {Nair}, P.~H. and {Unther}, H.~M. and {Deil}, C. and
    {Woillez}, J. and {Conseil}, S. and {Kramer}, R. and {Turner}, J.~E.~H. and
    {Singer}, L. and {Fox}, R. and {Weaver}, B.~A. and {Zabalza}, V. and
    {Edwards}, Z.~I. and {Azalee Bostroem}, K. and {Burke}, D.~J. and
    {Casey}, A.~R. and {Crawford}, S.~M. and {Dencheva}, N. and
    {Ely}, J. and {Jenness}, T. and {Labrie}, K. and {Lim}, P.~L. and
    {Pierfederici}, F. and {Pontzen}, A. and {Ptak}, A. and {Refsdal}, B. and
    {Servillat}, M. and {Streicher}, O.},
  Journal                  = {Astronomy \& Astrophysics},
  Year                     = {2013},

  Month                    = oct,
  Note                     = {http://www.astropy.org},
  Pages                    = {A33},
  Volume                   = {Volume 558},

  Adsnote                  = {Provided by the SAO/NASA Astrophysics Data System},
  Adsurl                   = {http://adsabs.harvard.edu/abs/2013A%26A...558A..33A},
  Archiveprefix            = {arXiv},
  Doi                      = {10.1051/0004-6361/201322068},
  Eid                      = {A33},
  Eprint                   = {1307.6212},
  Primaryclass             = {astro-ph.IM}
}

@article{WagemansEtAl:CenturyOfGestaltPsychology_2012,
  title = {A Century of Gestalt Psychology in Visual Perception II. Conceptual and Theoretical Foundations},
  author = {Johan Wagemans and Jacob Feldman and Sergei Gepshtein and Ruth Kimchi and James R. Pomerantz and Peter van der Helm and Cees van Leeuwen},
  journal   = {Psychological Bulletin},
  volume    = {138},
  issue={6},
  publisher = {MIT},
  month={11},
  year = {2012},
  pages={1218--1252},
  issn={0033-2909},
  URL = {https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3728284/}
}
% issn={0033-2909},
 % URL = {https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3728284/}

@article{DavEuzSch:taa11,
  author = {J. David and  J. Euzenat and F. Scharffe and Trojahn dos Santos, C.},
  title = {The alignment {API} 4.0},
  journal = {Semantic Web},
  volume = {2},
  number = {1},
  pages = {3--10},
  year = {2011}}


@inproceedings{CodMosKut:caoa14,
 author = {Codescu, Mihai and Mossakowski, Till and Kutz, Oliver},
 title = {A Categorical Approach to Ontology Alignment},
 booktitle = {Proceedings of the 9th International Conference on Ontology Matching},
 year = {2014},
 pages = {1--12},
 numpages = {12},
 url = {http://ceur-ws.org/Vol-1317/om2014_Tpaper1.pdf},
 publisher = {CEUR-WS.org}
} 

@article{Davis:htpu73,
    Author = {Martin {Davis}},
    Title = {{Hilbert's tenth problem is unsolvable.}},
    Journal = {{American Mathematical Monthly}},
    ISSN = {0002-9890},
    Volume = {80},
    Pages = {233--269},
    Year = {1973},
    Publisher = {Mathematical Association of America (MAA), Washington, DC},
    DOI = {10.2307/2318447},
    MSC2010 = {03D80 03B25 11D99 11U05 03-02 11-02 03-03},
    Zbl = {0277.02008}
}

@InProceedings{BerChattsfts17,
  author = 	"Bernardy, Jean-Philippe
		and Chatzikyriakidis, Stergios",
  title = 	"A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq",
  booktitle = 	"IWCS 2017 - 12th International Conference on Computational Semantics - Long papers",
  year = 	"2017",
  url = 	"http://aclweb.org/anthology/W17-6801"
}

@book{EijUng:csfp10,
  title = {Computational Semantics with Functional Programming},
  authors = {Jan van Eijck and Christina Unger},
  publisher = {Cambridge University Press},
  year = {2010}}

@article{CooBooGen:ppbe2011,
  title = {Physical Properties of Biological Entities: An Introduction to the Ontology of Physics for Biology},
  author = {Daniel L. Cook and Fred L. Bookstein and John H. Gennari},
  journal = {PLOS One},
  year = {2011},
  volume = {6},
  doi = {10.1371/journal.pone.0028708}}

@article{Paleo:ppt12,
 author = {Woltzenlogel Paleo, Bruno},
 title = {Physics and proof theory},
 journal = {Applied Mathematics and Computation},
 year = {2012},
 volume = {219},
 number = {1},
 pages = {45--53},
 doi = {10.1016/j.amc.2011.06.058}
 }

@InProceedings{KalUrbSid:fpapfi15,
author={Kaliszyk, Cezary and Urban, Josef and Siddique, Umair and Khan-Afshar, Sanaz and Dunchev, Cvetan and Tahar, Sofi{\`e}ne},
crossref = {CICM15},
title = {Formalizing Physics: Automation, Presentation and Foundation Issues},
pages="288--295"}