12.1: Bibliography
- Page ID
- 7280
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)[ACDG+05] Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, and Riccardo Rosati. QuOnto: Querying Ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pages 1670–1671, 2005.
[ACK+07] Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev. Reasoning over extended ER models. In Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, and Bernhard Thalheim, editors, Proceedings of the 26th International Conference on Conceptual Modeling (ER’07), volume 4801 of LNCS, pages 277–292. Springer, 2007. Auckland, New Zealand, November 5-9, 2007.
[ACKZ09] Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev. DL-Lite without the unique name assumption. In Proc. of the 22nd Int. Workshop on Description Logic (DL 2009), volume 477 of CEUR-WS, 2009. http://ceur-ws.org/.
[AFK12] Ronell Alberts, Thomas Fogwill, and C. Maria Keet. Several required OWL features for indigenous knowledge management systems. In P. Klinov and M. Horridge, editors, 7th Workshop on OWL: Experiences and Directions (OWLED 2012), volume 849 of CEUR-WS, page 12p, 2012. 27-28 May, Heraklion, Crete, Greece.
[AFWZ02] A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning about conceptual schemas and queries. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proceedings of the 8th Joint European Conference on Logics in Artificial Intelligence (JELIA-02), volume 2424 of LNAI, pages 98– 110. Springer Verlag, 2002.
[AGK08] Alessandro Artale, Nicola Guarino, and C. Maria Keet. Formalising temporal constraints on part-whole relations. In Gerhard Brewka and Jerome Lang, editors, 11th International Conference on Principles of Knowledge Representation and Reasoning (KR’08), pages 673–683. AAAI Press, 2008. Sydney, Australia, September 16-19, 2008.
[AKK+17] Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Ontology-mediated query answering over temporal data: A survey. In Sven Schewe, Thomas Schneider, and Jef Wijsen, editors, Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME’17), pages 1:1–1:36. Leibniz International Proceedings in Informatics, 2017.
[AKL+07] A. Artale, R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising tractable description logics. In Inter. Symposium on Temporal Representation and Reasoning (TIME07). IEEE Computer Society, 2007.
[ALG13] I. Androutsopoulos, G. Lampouras, and D. Galanis. Generating natural language descriptions from owl ontologies: the naturalowl system. Journal of Artificial Intelligence Research, 48:671–715, 2013.
[Ali04] A. Aliseda. Logics in scientific discovery. Foundation of Science, 9:339–363, 2004.
[All83] James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, 1983.
[APS07] A. Artale, C. Parent, and S. Spaccapietra. Evolving objects in temporal information systems. Annals of Mathematics and Artificial Intelligence, 50(1-2):5–38, 2007.
[AvH03] G. Antoniou and F. van Harmelen. A Semantic Web Primer. MIT Press, 2003.
[AWP+08] Dimitra Alexopoulou, Thomas W¨achter, Laura Pickersgill, Cecilia Eyre, and Michael Schroeder. Terminologies for text-mining; an experiment in the lipoprotein metabolism domain. BMC Bioinformatics, 9(Suppl 4):S2, 2008.
[BACW14] N. Bouayad-Agha, G. Casamayor, and L. Wanner. Natural language generation in the context of the semantic web. Semantic Web Journal, 5(6):493–513, 2014.
[BBK+17] Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost. Metric temporal description logics with interval-rigid names. In C. Dixon and M. Finger, editors, Proceedings of the International Symposium on Frontiers of Combining Systems (FroCoS’17), volume 10483 of LNCS, pages 60–76. Springer, 2017.
[BBL05] F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proc. of the 19th Joint Int. Conf. on Artificial Intelligence (IJCAI 2005), volume 5, pages 364–369, 2005.
[BC14] Paul Buitelaar and Philipp Cimiano, editors. Towards the Multilingual Semantic Web: Principles, Methods and Applications. Springer, 2014.
[BCDG05] D. Berardi, D. Calvanese, and G. De Giacomo. Reasoning on UML class diagrams. Artificial Intelligence, 168(1-2):70–118, 2005.
[BCHM09] P. Buitelaar, P. Cimiano, P. Haase, and Sintek M. Towards linguistically grounded ontologies. In L. Aroyo et al., editors, Proceedings of the Extended Semantic Web Conference (ESWC’09), volume 5554 of LNCS, pages 111–125. Springer, 2009.
[BCM+08] F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logics Handbook – Theory and Applications. Cambridge University Press, 2 edition, 2008.
[BD07] T. Bittner and M. Donnelly. A temporal mereology for distinguishing between integral objects and portions of stuff. In Proceedings of AAAI’07, pages 287–292, 2007. Vancouver, Canada.
[BDFG14] Alessio Bosca, Mauro Dragoni, Chiara Di Francescomarino, and Chiara Ghidini. Collaborative management of multilingual ontologies. In Paul Buitelaar and Philip Cimiano, editors, Towards the Multilingual Semantic Web, pages 175–192. Springer, 2014.
[BE93] Jon Barwise and John Etchemendy. The language of first-order logic. Stanford, USA: CSLI Lecture Notes, 3rd edition, 1993.
[BGSS07] F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Completing description logic knowledge bases using formal concept analysis. In Proc. of IJCAI 2007, volume 7, pages 230–235, 2007. Hyderabad, India, 2007.
[BH96] A. C. Bloesch and T. A. Halpin. ConQuer: a conceptual query language. In Proceedings of ER’96: 15th International Conference onconceptual modeling, volume 1157 of LNCS, pages 121–133. Springer, 1996.
[BH97] A. C. Bloesch and T. A. Halpin. Conceptual Queries using ConQuer-II. In Proceedings of ER’97: 16th International Conference on Conceptual Modeling, volume 1331 of LNCS, pages 113–126. Springer, 1997.
[BHJ+15] E. Blomqvist, P. Hitzler, K. Janowicz, A. Krisnadhi, T. Narock, and M. Solanki. Considerations regarding ontology design patterns. Semantic Web, 7(1):1–7, 2015.
[BLHL01] Tim Berners-Lee, James Hendler, and Ora Lassila. The semantic web. Scientific American Magazine, May 17, 2001, 2001.
[BLK+09] Christian Bizer, Jens Lehmann, Georgi Kobilarov, S¨oren Auer, Christian Becker, Richard Cyganiak, and Sebastian Hellmann. Dbpedia – a crystallization point for the web of data. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 7:154165, 2009.
[BM09] Stefano Borgo and Claudio Masolo. Foundational choices in DOLCE. In Steffen Staab and Rudi Studer, editors, Handbook on Ontologies, pages 361–381. Springer, 2 edition, 2009.
[BMF95] John A. Bateman, Bernardo Magnini, and Giovanni Fabris. The Generalized Upper Model Knowledge Base: Organization and Use. In N. J. I. Mars, editor, Towards very large knowledge bases: knowledge building and knowledge sharing, pages 60– 72, Amsterdam, 1995. IOS Press.
[BPTA17] Sotiris Batsakis, Euripides Petrakis, Ilias Tachmazidis, and Grigoris Antoniou. Temporal representation and reasoning in OWL 2. Semantic Web Journal, 8(6):981–1000, 2017.
[Bro06] Matthias Brochhausen. The Derives_from relation in biomedical ontologies. Studies in Health Technology and Informatics, 124:769–774, 2006.
[BS05] E. Blomqvist and K. Sandkuhl. Patterns in ontology engineering - classification of ontology patterns. In Proc. of the 7th International Conference on Enterprise Information Systems, 2005. Miami, USA, May 2005.
[BS11] Fernando Bobillo and Umberto Straccia. Fuzzy ontology representation using OWL 2. International Journal of Approximate Reasoning, 52:1073–1094, 2011.
[BSSH08] Elena Beisswanger, Stefan Schulz, Holger Stenzhorn, and Udo Hahn. BioTop: An upper domain ontology for the life sciences - a description of its current structure, contents, and interfaces to OBO ontologies. Applied Ontology, 3(4):205–212, 2008.
[BST07] Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan. Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logic, 5(3):392–420, 2007.
[CCKE+17] Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, and Guohui Xiao. Ontop: Answering SPARQL queries over relational databases. Semantic Web Journal, 8(3):471–487, 2017.
[CCO+13] V.K. Chaudhri, B. Cheng, A. Overholtzer, J. Roschelle, A. Spaulding, P. Clark, M. Greaves, and D Gunning. Inquire biology: A textbook that answers questions. AI Magazine, 34(3):55–72, 2013.
[CDG03] D. Calvanese and G. De Giacomo. The DL Handbook: Theory, Implementation and Applications, chapter Expressive description logics, pages 178–218. Cambridge University Press, 2003.
[CDGL99] Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI’99), pages 84–89, 1999.
[CGHM+08] B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler. OWL 2: The next step for OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 6(4):309–322, 2008.
[CGL+07] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning, 39(3):385–429, 2007.
[CGL+09] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodr´ıguez-Muro, and Riccardo Rosati. Ontologies and databases: The DL-Lite approach. In Sergio Tessaris and Enrico Franconi, editors, Semantic Technologies for Informations Systems - 5th Int. Reasoning Web Summer School (RW 2009), volume 5689 of LNCS, pages 255–356. Springer, 2009. BrixenBressanone, Italy, 30 August - 4 September 2009.
[CK14] Catherine Chavula and C. Maria Keet. Is lemon sufficient for building multilingual ontologies for Bantu languages? In C. Maria Keet and Valentina Tamma, editors, Proceedings of the 11th OWL: Experiences and Directions Workshop (OWLED’14), volume 1265 of CEUR-WS, pages 61–72, 2014. Riva del Garda, Italy, Oct 17-18, 2014.
[CKK+17] M. Codescu, E. Kuksa, O. Kutz, T. Mossakowski, and F. Neuhaus. Ontohub: A semantic repository for heterogeneous ontologies. Applied Ontology, 2017. Forthcoming.
[CKN+10] Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodr´ıguez-Muro, and Giorgio Stefanoni. Web-based graphical querying of databases through an ontology: the WONDER system. In Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, and Chih-Cheng Hung, editors, Proceedings of ACM Symposium on Applied Computing (ACM SAC’10), pages 1389–1396. ACM, 2010. March 22-26 2010, Sierre, Switzerland.
[CLM+16] D. Calvanese, P. Liuzzo, A. Mosca, J. Remesal, M. Rezk, and G. Rull. Ontologybased data integration in epnet: Production and distribution of food during the roman empire. Engineering Applications of Artificial Intelligence, 51:212–229, 2016.
[CLs07] Common Logic (CL): a framework for a family of logic-based languages, 2007. https://www.iso.org/standard/39175.html.
[CMFL05] Oscar Corcho and Angel López-Cima Mariano Fernández-López, Asunción GómezPérez. Building legal ontologies with methontology and webode. In Law and the Semantic Web 2005, volume 3369 of LNAI, pages 142–157. Springer LNAI, 2005.
[CMSV09] Philipp Cimiano, Alexander M¨adche, Steffen Staab, and Johanna Völker. Ontology learning. In S. Staab and R. Studer, editors, Handbook on Ontologies, pages 245– 267. Springer Verlag, 2009.
[Cot10] A. J. Cotnoir. Anti-symmetry and non-extensional mereology. The Philosophical Quarterly, 60(239):396–405, 2010.
[CS94] Tiziana Catarci and Giuseppe Santucci. Query by diagram: a graphical environment for querying databases. ACM SIGMOD Record, 23(2):515, 1994.
[CSG+10] Adrien Coulet, Nigam H. Shah, Yael Garten, Mark Musen, and Russ B. Altman. Using text to build semantic networks for pharmacogenomics. Journal of Biomedical Informatics, 43(6):1009–1019, 2010.
[CT98] J. Chomicki and D. Toman. Logics for databases and information systems, chapter Temporal logic in information systems. Kluwer, 1998.
[D+10] Emek Demir et al. The BioPAX community standard for pathway data sharing. Nature Biotechnology, 28(9):935–942, 2010.
[DAA+08] Heiko Dietze, Dimitra Alexopoulou, Michael R. Alvers, Liliana Barrio-Alvers, Bill Andreopoulos, Andreas Doms, Joerg Hakenberg, Jan Moennich, Conrad Plake, Andreas Reischuck, Loic Royer, Thomas Waechter, Matthias Zschunke, and Michael Schroeder. Gopubmed: Exploring pubmed with ontological background knowledge. In Stephen A. Krawetz, editor, Bioinformatics for Systems Biology. Humana Press, 2008.
[Daw17] Zubeida C. Dawood. A foundation for ontology modularisation. Phd thesis, Department Computer Science, University of Cape Town, November 2017 2017.
[DB09] Maureen Donnelly and Thomas Bittner. Summation relations and portions of stuff. Philosophical Studies, 143:167–185, 2009.
[dCL06] P. C. G. da Costa and K. B. Laskey. PR-OWL: A framework for probabilistic ontologies. In Proceedings FOIS’06, pages 237–249. IOS Press, 2006.
[dFE10] Claudia d’Amato, Nicola Fanizzi, and Floriana Esposito. Inductive learning for the Semantic Web: What does it buy? Semantic Web Journal, 1(1,2):53–59, 2010.
[DGR12] Chiara Di Franscescomarino, Chiara Ghidini, and Marco Rospocher. Evaluating wiki-enhanced ontology authoring. In A ten Teije et al., editors, 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW’12), volume 7603 of LNAI, pages 292–301. Springer, 2012. Oct 8-12, Galway, Ireland.
[DHI12] A. Doan, A. Y. Halevy, and Z. G. Ives. Principles of Data Integration. Morgan Kaufmann, 2012.
[EGOMA06] H. El-Ghalayini, M. Odeh, R. McClatchey, and D. Arnold. Deriving conceptual data models from domain ontologies for bioinformatics. In 2nd Conference on Information and Communication Technologies (ICTTA’06), pages 3562 – 3567. IEEE Computer Society, 2006. 24-28 April 2006, Damascus, Syria.
[EM05] J. Euzenat and A. Montanari. Handbook of temporal reasoning in artificial intelligence, chapter Time granularity, pages 59–118. Amsterdam: Elsevier, 2005.
[ES07] Jerome Euzenat and Pavel Shvaiko. Ontology Matching. Springer, 2007.
[FBR+16] R. A. Falbo, M. P. Barcelos, F. B. Ruy, G. Guizzardi, and R. S. S. Guizzardi. Ontology pattern languages. In A. Gangemi, P. Hizler, K. Janowicz, A. Krisnadhi, and V. Presutti, editors, Ontology Engineering with Ontology Design Patterns: Foundations and Applications. IOS Press, 2016.
[Fer16] S. Ferré. Semantic authoring of ontologies by exploration and elimination of possible worlds. In E. Blomqvist, P. Ciancarini, F. Poggi, and F. Vitali, editors, Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW’16), volume 10024 of LNAI, pages 180–195. Springer, 2016. 19-23 November 2016, Bologna, Italy.
[FFT12] Pablo R. Fillottrani, Enrico Franconi, and Sergio Tessaris. The ICOM 3.0 intelligent conceptual modelling tool and methodology. Semantic Web Journal, 3(3):293– 306, 2012.
[FGGP13] Ricardo A Falbo, Giancarlo Guizzardi, Aldo Gangemi, and Valentina Presutti. Ontology patterns: clarifying concepts and terminology. In Proc. of OSWP’13, 2013.
[FGPPP99] M. Fernández, A. Gómez-Pérez, A. Pazos, and J. Pazos. Building a chemical ontology using METHONTOLOGY and the ontology design environment. IEEE Expert: Special Issue on Uses of Ontologies, January/February:37–46, 1999.
[FGT10] Enrico Franconi, Paolo Guagliardo, and Marco Trevisan. An intelligent query interface based on ontology navigation. In Workshop on Visual Interfaces to the Social and Semantic Web (VISSW’10), 2010. Hong Kong, February 2010.
[Fin00] Kit Fine. Neutral relations. The Philosophical Review, 109(1):1–33, 2000.
[FK15] Pablo Rubén Fillottrani and C. Maria Keet. Evidence-based languages for conceptual data modelling profiles. In T. Morzy et al., editors, 19th Conference on Advances in Databases and Information Systems (ADBIS’15), volume 9282 of LNCS, pages 215–229. Springer, 2015. 8-11 Sept, 2015, Poitiers, France.
[FK17] Pablo R. Fillottrani and C. Maria Keet. Patterns for heterogeneous tbox mappings to bridge different modelling decisions. In E. Blomqvist et al., editors, Proceeding of the 14th Extended Semantic Web Conference (ESWC’17), volume 10249 of LNCS, pages 371–386. Springer, 2017. 30 May - 1 June 2017, Portoroz, Slovenia.
[FKK10] Norbert E. Fuchs, Kaarel Kaljurand, and Tobias Kuhn. Discourse Representation Structures for ACE 6.6. Technical Report ifi-2010.0010, Department of Informatics, University of Zurich, Zurich, Switzerland, 2010.
[FR12] Sebastien Ferré and Sebastian Rudolph. Advocatus diaboli exploratory enrichment of ontologies with negative constraints. In A ten Teije et al., editors, 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW’12), volume 7603 of LNAI, pages 42–56. Springer, 2012. Oct 8-12, Galway, Ireland.
[Gan05] Aldo Gangemi. Ontology design patterns for semantic web content. In Yolanda Gil, Enrico Motta, V. Richard Benjamins, and Mark A. Musen, editors, Proceedings of the 4th International Semantic Web Conference (ISWC’05), pages 262–276, Berlin, Heidelberg, 2005. Springer. Galway, Ireland, November 6-10, 2005.
[Gar17] Daniel Garijo. WIDOCO: a wizard for documenting ontologies. In C. d’Amato et al., editors, The Semantic Web ISWC 2017, volume 10588 of LNCS, pages 94–102. Springer, 2017.
[GB92] J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery, 39(1):95–146, 1992. Predecessor in: LNCS 164, 221–256, 1984.
[GB11] Normunds Gruzitis and Guntis Barzdins. Towards a more natural multilingual controlled language interface to OWL. In Proceedings of the Ninth International Conference on Computational Semantics, IWCS ’11, pages 335–339, Stroudsburg, PA, USA, 2011. Association for Computational Linguistics.
[GBM07] Rolf Grütter and Bettina Bauer-Messmer. Combining OWL with RCC for spatioterminological reasoning on environmental data. In Third international Workshop OWL: Experiences and Directions (OWLED 2007), 2007. 6-7 June 2007, Innsbruck, Austria.
[Gen00] Gene Ontology Consortium. Gene Ontology: tool for the unification of biology. Nature Genetics, 25:25–29, 2000.
[GF95] M. Grüninger and M. S. Fox. Methodology for the design and evaluation of ontologies. In IJCAI Workshop on Basic Ontological Issues in Knowledge Sharing, 1995.
[GH07] Christine Golbreich and Ian Horrocks. The OBO to OWL mapping, GO to OWL 1.1! In Proc. of the Third OWL Experiences and Directions Workshop, volume 258 of CEUR-WS, 2007. http://ceur-ws.org/.
[GHH+12] Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong, and Atalay Ozgovde. Modular first-order ontologies via repositories. Applied Ontology, 7(2):169– 209, 2012.
[GK18] Nikhil Gilbert and C. Maria Keet. Automating question generation and marking of language learning exercises for isiZulu. In 6th International Workshop on Controlled Natural language (CNL’18), page (in press). IOS Press, 2018. Co. Kildare, Ireland, 27-28 August 2018.
[GKL+09] Chiara Ghidini, Barbara Kump, Stefanie Lindstaedt, Nahid Mabhub, Viktoria Pammer, Marco Rospocher, and Luciano Serafini. Moki: The enterprise modelling wiki. In Proceedings of the 6th Annual European Semantic Web Conference (ESWC2009), 2009. Heraklion, Greece, 2009 (demo).
[GKWZ03] D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic. Elsevier, 2003.
[GOG+10] Alexander Garcia, Kieran O’Neill, Leyla Jael Garcia, Phillip Lord, Robert Stevens, Oscar Corcho, and Frank Gibson. Developing ontologies within decentralized set- ´ tings. In H. Chen et al., editors, Semantic e-Science. Annals of Information Systems 11, pages 99–139. Springer, 2010.
[GOS09] Nicola Guarino, Daniel Oberle, and Steffen Staab. What is an ontology? In S. Staab and R. Studer, editors, Handbook on Ontologies, chapter 1, pages 1–17. Springer, 2009.
[GP09] A. Gangemi and V. Presutti. Ontology design patterns. In S. Staab and R. Studer, editors, Handbook on Ontologies, pages 221–243. Springer Verlag, 2009.
[GPFLC04] A. Gómez-Pérez, M. Fernández-Lopez, and O. Corcho. Ontological Engineering. Springer Verlag, 2004.
[GR09] A. Gatt and E. Reiter. Simplenlg: A realisation engine for practical applications. In E. Krahmer and M. Theune, editors, Proceedings of the 12th European Workshop on Natural Language Generation (ENLG’09), page 9093. ACL, 2009. March 30-31, 2009, Athens, Greece.
[Gru93] T. R. Gruber. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199–220, 1993.
[GRV10] Birte Glimm, Sebastian Rudolph, and Johanna V¨olker. Integrated metamodeling and diagnosis in OWL 2. In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, and Birte Glimm, editors, Proceedings of the 9th International Semantic Web Conference, volume 6496 of LNCS, pages 257–272. Springer, November 2010.
[Gua98] Nicola Guarino. Formal ontology and information systems. In N. Guarino, editor, Proceedings of Formal Ontology in Information Systems (FOIS’98), Frontiers in Artificial intelligence and Applications, pages 3–15. Amsterdam: IOS Press, 1998.
[Gua09] Nicola Guarino. The ontological level: Revisiting 30 years of knowledge representation. In A.T. Borgida et al., editors, Mylopoulos Festschrift, volume 5600 of LNCS, pages 52–67. Springer, 2009.
[Gui05] Giancarlo Guizzardi. Ontological Foundations for Structural Conceptual Models. Phd thesis, University of Twente, The Netherlands. Telematica Instituut Fundamental Research Series No. 15, 2005.
[GW00a] Nicola Guarino and Chris Welty. A formal ontology of properties. In R. Dieng and O. Corby, editors, Proceedings of 12th International Conference on Knowledge Engineering and Knowledge Management (EKAW’00), volume 1937 of LNCS, pages 97–112. Springer Verlag, 2000.
[GW00b] Nicola Guarino and Chris Welty. Identity, unity, and individuality: towards a formal toolkit for ontological analysis. In W. Horn, editor, Proceedings of ECAI’00, pages 219–223. IOS Press, Amsterdam, 2000.
[GW08] Giancarlo Guizzardi and Gerd Wagner. What’s in a relationship: An ontological analysis. In Qing Li, Stefano Spaccapietra, Eric Yu, and Antoni Olivé, editors, ER, volume 5231 of Lecture Notes in Computer Science, pages 83–97. Springer, 2008.
[GW09] N. Guarino and C. Welty. An overview of ontoclean. In S. Staab and R. Studer, editors, Handbook on Ontologies, pages 201–220. Springer Verlag, 2009.
[GWG+07] Carole Goble, Katy Wolstencroft, Antoon Goderis, Duncan Hull, Jun Zhao, Pinar Alper, Phillip Lord, Chris Wroe, Khalid Belhajjame, Daniele Turi, Robert Stevens, Tom Oinn, and David De Roure. Knowledge discovery for biology with taverna. In C.J.O. Baker and H. Cheung, editors, Semantic Web: Revolutionizing knowledge discovery in the life sciences, pages 355–395. Springer: New York, 2007.
[Hal01] T.A. Halpin. Information Modeling and Relational Databases. San Francisco: Morgan Kaufmann Publishers, 2001.
[HC11] Terry A. Halpin and Matthew Curland. Enriched support for ring constraints. In Robert Meersman, Tharam S. Dillon, and Pilar Herrero, editors, OTM Workshops 2011, volume 7046 of LNCS, pages 309–318. Springer, 2011. Hersonissos, Crete, Greece, October 17-21, 2011.
[HCTJ93] J.-L. Hainaut, M. Chandelon, C. Tonneau, and M. Joris. Contribution to a theory of database reverse engineering. In Reverse Engineering, 1993., Proceedings of Working Conference on, pages 161–170, May 1993.
[HDG+11] Robert Hoehndorf, Michel Dumontier, J H Gennari, Sarah Wimalaratne, Bernard de Bono, Daniel Cook, and George Gkoutos. Integrating systems biology models and biomedical ontologies. BMC Systems Biology, 5:124, 2011.
[HDN04] N. Henze, P. Dolog, and W. Nejdl. Reasoning and ontologies for personalized e-learning in the semantic web. Educational Technology & Society, 7(4):82–97, 2004.
[Hed04] Shawn Hedman. A first course in logic—an introduction to model theory, proof theory, computability, and complexity. Oxford University Press, Oxford, 2004.
[Hep11] Martin Hepp. SKOS to OWL. Online: http://www.heppnetz.de/projects/ skos2owl/, Last accessed: Aug 30, 2011.
[HH06] H. Herre and B. Heller. Semantic foundations of medical information systems based on top-level ontologies. Knowledge-Based Systems, 19:107–115, 2006.
[Hir14] Graeme Hirst. Overcoming linguistic barriers to the multilingual semanticweb. In Buitelaar and Cimiano [BC14], chapter 1, pages 3–14.
[HKS06] I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible \(\mathcal{SROIQ}\). Proceedings of KR-2006, pages 452–457, 2006.
[HND+11] Melanie Hilario, Phong Nguyen, Huyen Do, Adam Woznica, and Alexandros Kalous. Ontology-based meta-mining of knowledge discovery workflows. In N. Jankowski, W. Duch, and K. Grabczewski, editors, Meta-learning in Computational Intelligence, pages 273–315. Springer, 2011.
[HOD+10] Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Janet Kelso, Dietrich Rebholz-Schuhmann, and Heinrich Herre. Relations as patterns: bridging the gap between OBO and OWL. BMC Bioinformatics, 11(1):441, 2010.
[HP98] A. H. M. ter Hofstede and H. A. Proper. How to formalize it? formalization principles for information systems development methods. Information and Software Technology, 40(10):519–540, 1998.
[HP04] J. R. Hobbs and F. Pan. An ontology of time for the semantic web. ACM Transactions on Asian Language Processing (TALIP): Special issue on Temporal Information Processing, 3(1):66–85, 2004.
[HPS08] M. Horridge, B. Parsia, and U. Sattler. Laconic and precise justifications in OWL. In Proc. of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS. Springer, 2008.
[HPSvH03] Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7, 2003.
[HWZ99] I. M. Hodgkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of firstorder temporal logics. Annals of pure and applied logic, 106:85–134, 1999.
[IS09] Antoine Isaac and Ed Summers. SKOS Simple Knowledge Organization System Primer. W3c standard, World Wide Web Consortium, August 2009 2009. http://www.w3.org/TR/skos-primer.
[JDM03] M. Jarrar, J. Demy, and R. Meersman. On using conceptual data modeling for ontology engineering. Journal on Data Semantics: Special issue on Best papers from the ER/ODBASE/COOPIS 2002 Conferences, 1(1):185–207, 2003.
[JKD06] Mustafa Jarrar, C. Maria Keet, and Paolo Dongilli. Multilingual verbalization of ORM conceptual models and axiomatized ontologies. Starlab technical report, Vrije Universiteit Brussel, Belgium, February 2006.
[KA08] C. Maria Keet and Alessandro Artale. Representing and reasoning over a taxonomy of part-whole relations. Applied Ontology – Special issue on Ontological Foundations for Conceptual Modeling, 3(1-2):91–110, 2008.
[KA10] C. Maria Keet and Alessandro Artale. A basic characterization of relation migration. In R. Meersman et al., editors, OTM Workshops, 6th International Workshop on Fact-Oriented Modeling (ORM’10), volume 6428 of LNCS, pages 484–493. Springer, 2010. October 27-29, 2010, Hersonissou, Crete, Greece.
[KAGC08] C. Maria Keet, Ronell Alberts, Aurona Gerber, and Gibson Chimamiwa. Enhancing web portals with Ontology-Based Data Access: the case study of South Africa’s Accessibility Portal for people with disabilities. In Catherine Dolbear, Alan Ruttenberg, and Uli Sattler, editors, Proceedings of the Fifth OWL: Experiences and Directions (OWLED 2008), volume 432 of CEUR-WS, 2008. Karlsruhe, Germany, 26-27 October 2008.
[Kas05] Gilles Kassel. Integration of the DOLCE top-level ontology into the OntoSpec methodology. Technical Report HAL : hal-00012203/arXiv : cs.AI/0510050, Laboratoire de Recherche en Informatique d’Amiens (LaRIA), October 2005. hal.archives-ouvertes.fr/ccsd-00012203.
[Kaz08] Yevgeny Kazakov. RIQ and SROIQ are harder than SHOIQ. In 11th International Conference on Principles of Knowledge Representation and Reasoning (KR’08), pages 274–284, 2008. 16-19 August 2008, Sydney, Australia.
[KB17] C. Maria Keet and Sonia Berman. Determining the preferred representation of temporal constraints in conceptual models. In H.C. Mayr et al., editors, 36th International Conference on Conceptual Modeling (ER’17), volume 10650 of LNCS, page (in print). Springer, 2017. 6-9 Nov 2017, Valencia, Spain.
[KC16] C. M. Keet and T. Chirema. A model for verbalising relations with roles in multiple languages. In E. Blomqvist, P. Ciancarini, F. Poggi, and F. Vitali, editors, Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW’16), volume 10024 of LNAI, pages 384–399. Springer, 2016. 19-23 November 2016, Bologna, Italy.
[Kee05] C. Maria Keet. Factors affecting ontology development in ecology. In B Ludäscher and L. Raschid, editors, Data Integration in the Life Sciences 2005 (DILS2005), volume 3615 of LNBI, pages 46–62. Springer Verlag, 2005. San Diego, USA, 20-22 July 2005.
[Kee09] C. Maria Keet. Constraints for representing transforming entities in bio-ontologies. In R. Serra and R. Cucchiara, editors, 11th Congress of the Italian Association for Artificial Intelligence (AI*IA 2009), volume 5883 of LNAI, pages 11–20. Springer Verlag, 2009. Reggio Emilia, Italy, Dec. 9-12, 2009.
[Kee10a] C. Maria Keet. Dependencies between ontology design parameters. International Journal of Metadata, Semantics and Ontologies, 5(4):265–284, 2010.
[Kee10b] C. Maria Keet. On the feasibility of description logic knowledge bases with rough concepts and vague instances. In Proceedings of the 23rd International Workshop on Description Logics (DL’10), CEUR-WS, pages 314–324, 2010. 4-7 May 2010, Waterloo, Canada.
[Kee10c] C. Maria Keet. Ontology engineering with rough concepts and instances. In P. Cimiano and H.S. Pinto, editors, 17th International Conference on Knowledge Engineering and Knowledge Management (EKAW’10), volume 6317 of LNCS, pages 507–517. Springer, 2010. 11-15 October 2010, Lisbon, Portugal.
[Kee11a] C. Maria Keet. Rough subsumption reasoning with rOWL. In Proceeding of the SAICSIT Annual Research Conference 2011 (SAICSIT’11), pages 133–140. ACM Conference Proceedings, 2011. Cape Town, South Africa, October 3-5, 2011.
[Kee11b] C. Maria Keet. The use of foundational ontologies in ontology development: an empirical assessment. In G. Antoniou et al., editors, 8th Extended Semantic Web Conference (ESWC’11), volume 6643 of LNCS, pages 321–335. Springer, 2011. Heraklion, Crete, Greece, 29 May-2 June, 2011.
[Kee12a] C. Maria Keet. Detecting and revising flaws in OWL object property expressions. In A. ten Teije et al., editors, 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW’12), volume 7603 of LNAI, pages 252–266. Springer, 2012. Oct 8-12, Galway, Ireland.
[Kee12b] C. Maria Keet. Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn. Journal of Biomedical Informatics, 45:482–494, 2012.
[Kee13] C. Maria Keet. Ontology-driven formal conceptual data modeling for biological data analysis. In Mourad Elloumi and Albert Y. Zomaya, editors, Biological Knowledge Discovery Handbook: Preprocessing, Mining and Postprocessing of Biological Data, chapter 6, pages 129–154. Wiley, 2013.
[Kee14] C. Maria Keet. Preventing, detecting, and revising flaws in object property expressions. Journal on Data Semantics, 3(3):189–206, 2014.
[Kee16] C. M. Keet. Relating some stuff to other stuff. In E. Blomqvist, P. Ciancarini, F. Poggi, and F. Vitali, editors, Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW’16), volume 10024 of LNAI, pages 368–383. Springer, 2016. 19-23 November 2016, Bologna, Italy.
[Kee17a] C. M. Keet. A note on the compatibility of part-whole relations with foundational ontologies. In FOUST-II: 2nd Workshop on Foundational Ontology, Joint Ontology Workshops 2017, volume 2050 of CEUR-WS, page 10p, 2017. 21-23 September 2017, Bolzano, Italy.
[Kee17b] C. M. Keet. Representing and aligning similar relations: parts and wholes in isizulu vs english. In J. Gracia, F. Bond, J. McCrae, P. Buitelaar, C. Chiarcos, and S. Hellmann, editors, Language, Data, and Knowledge 2017 (LDK’17), volume 10318 of LNAI, pages 58–73. Springer, 2017. 19-20 June, 2017, Galway, Ireland.
[KFRMG12] C. Maria Keet, Francis C. Fernández-Reyes, and Annette Morales-González. Representing mereotopological relations in OWL ontologies with ONTOPARTS. In E. Simperl et al., editors, Proceedings of the 9th Extended Semantic Web Conference (ESWC’12), volume 7295 of LNCS, pages 240–254. Springer, 2012. 29-31 May 2012, Heraklion, Crete, Greece.
[KG17] Megan Katsumi and Michael Grüninger. Choosing ontologies for reuse. Applied Ontology, 12(3-4):195–221, 2017.
[KHH16] Nazifa Karima, Karl Hammar, and Pascal Hitzler. How to document ontology design patterns. In Proceedings of the 7th Workshop on Ontology Patterns (WOP’16), 2016. Kobe, Japan, on 18th October 2016.
[KHS+17] Evgeny Kharlamov, Dag Hovland, Martin G. Skaeveland, Dimitris Bilidas, Ernesto Jim´enez-Ruiz, Guohui Xiao, Ahmet Soylu, Davide Lanti, Martin Rezk, Dmitriy Zheleznyakov, Martin Giese, Hallstein Lie, Yannis Ioannidis, Yannis Kotidis, Manolis Koubarakis, and Arild Waaler. Ontology based data access in statoil. Web Semantics: Science, Services and Agents on the World Wide Web, 44:3–36, 2017.
[KJLW12] Daniel Kless, Ludger Jansen, Jutta Lindenthal, and Jens Wiebensohn. A method for re-engineering a thesaurus into an ontology. In M. Donnelly and G. Guizzardi, editors, Proceedings of the Seventh International Conference on Formal Ontology in Information Systems, pages 133–146. IOS Press, 2012.
[KK12] Zubeida Khan and C. Maria Keet. ONSET: Automated foundational ontology selection and explanation. In A. ten Teije et al., editors, 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW’12), volume 7603 of LNAI, pages 237–251. Springer, 2012. Oct 8-12, Galway, Ireland.
[KK13a] Z. Khan and C. Maria Keet. Addressing issues in foundational ontology mediation. In Joaquim Filipe and Jan Dietz, editors, 5th International Conference on Knowledge Engineering and Ontology Development (KEOD’13), pages 5–16. INSTICC, SCITEPRESS – Science and Technology Publications, 2013. Vilamoura, Portugal, 19-22 September 2013.
[KK13b] Zubeida Khan and C. Maria Keet. The foundational ontology library ROMULUS. In Alfredo Cuzzocrea and Sofian Maabout, editors, Proceedings of the 3rd International Conference on Model & Data Engineering (MEDI’13), volume 8216 of LNCS, pages 200–211. Springer, 2013. September 25-27, 2013, Amantea, Calabria, Italy.
[KK14] Zubeida C. Khan and C. Maria Keet. Feasibility of automated foundational ontology interchangeability. In K. Janowicz and S. Schlobach, editors, 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW’14), volume 8876 of LNAI, pages 225–237. Springer, 2014. 24-28 Nov, 2014, Linkoping, Sweden.
[KK15] Z. C. Khan and C. M. Keet. Foundational ontology mediation in ROMULUS. In A. Fred et al., editors, Knowledge Discovery, Knowledge Engineering and Knowledge Management: IC3K 2013 Selected Papers, volume 454 of CCIS, pages 132– 152. Springer, 2015.
[KK16] Zubeida C. Khan and C. Maria Keet. ROMULUS: a Repository of Ontologies for MULtiple USes populated with foundational ontologies. Journal on Data Semantics, 5(1):19–36, 2016.
[KK17a] C. M. Keet and L. Khumalo. Toward a knowledge-to-text controlled natural language of isiZulu. Language Resources and Evaluation, 51(1):131–157, 2017.
[KK17b] C. Maria Keet and Oliver Kutz. Orchestrating a network of mereo(topo)logical theories. In Proceedings of the Knowledge Capture Conference, K-CAP 2017, pages 11:1–11:8, New York, NY, USA, 2017. ACM.
[KKG13a] C. Maria Keet, M. Tahir Khan, and Chiara Ghidini. Guided ENtity reuse and class Expression geneRATOR. In Richard Benjamins, Mathieu d’Aquin, Andrew Gordon, , and José Manuel Gómez-Pérez, editors, Seventh International Conference on Knowledge Capture (K-CAP’13), page a26 (poster&demo). ACM, 2013. 23-26 June 2013, Banff, Canada.
[KKG13b] C. Maria Keet, M. Tahir Khan, and Chiara Ghidini. Ontology authoring with FORZA. In Proceedings of the 22nd ACM international conference on Conference on Information & Knowledge Management (CIKM’13), pages 569–578. ACM proceedings, 2013. Oct. 27 - Nov. 1, 2013, San Francisco, USA.
[KL16] C. M. Keet and A. Lawrynowicz. Test-driven development of ontologies. In H. Sack et al., editors, Proceedings of the 13th Extended Semantic Web Conference (ESWC’16), volume 9678 of LNCS, pages 642–657. Springer, 2016. 29 May - 2 June, 2016, Crete, Greece.
[KLd+15] C. Maria Keet, Agnieszka Lawrynowicz, Claudia d’Amato, Alexandros Kalousis, P. Nguyen, Raul Palma, Robert Stevens, and Melani Hilario. The data mining optimization ontology. Web Semantics: Science, Services and Agents on the World Wide Web, 32:43–53, 2015.
[KLT+10] R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev. The combined approach to query answering in DL-Lite. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR 2010). AAAI Press, 2010. Toronto, Ontario, Canada, May 9-13, 2010.
[KML10] O. Kutz, T. Mossakowski, and D. Lücke. Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis, 4(2), 2010. Special issue on ‘Is Logic Universal?’.
[KSFPV13] C. Maria Keet, Mari Carmen Suárez-Figueroa, and Maria Poveda-Villalón. The current landscape of pitfalls in ontologies. In Joaquim Filipe and Jan Dietz, editors, 5th International Conference on Knowledge Engineering and Ontology Development (KEOD’13), pages 132–139. INSTICC, SCITEPRESS – Science and Technology Publications, 2013. Vilamoura, Portugal, 19-22 September 2013.
[KSFPV15] C. M. Keet, M. C. Suárez-Figueroa, and M. Poveda-Villalón. Pitfalls in ontologies and tips to prevent them. In A. Fred, J. L. G. Dietz, K. Liu, and J. Filipe, editors, Knowledge Discovery, Knowledge Engineering and Knowledge Management: IC3K 2013 Selected papers, volume 454 of CCIS, pages 115–131. Springer, 2015.
[KSH12] Markus Krötzsch, František Simančík, and Ian Horrocks. A description logic primer. Technical Report 1201.4089v1, Department of Computer Science, University of Oxford, UK, 2012. arXiv:cs.LO/12014089v1.
[LAF14] Pilar León-Araúz and Pamela Faber. Context and terminology in the multilingual semantic web. In Paul Buitelaar and Philip Cimiano, editors, Towards the Multilingual Semantic Web: Principles, Methods and Applications, chapter 3, pages 31–47. Springer, 2014.
[Lam17] Jean-Baptiste Lamy. Owlready: Ontology-oriented programming in python with automaticclassification and high level constructs for biomedical ontologies. Artificial Intelligence in Medicine, 2017.
[Leo08] Joop Leo. Modeling relations. Journal of Philosophical Logic, 37:353–385, 2008.
[LHC11] Kaihong Liu, William R. Hogan, and Rebecca S. Crowley. Natural language processing methods and systems for biomedical ontology learning. Journal of Biomedical Informatics, 44(1):163–179, 2011.
[LLNW11] Thorsten Liebig, Marko Luther, Olaf Noppens, and Michael Wessel. OWLlink. Semantic Web Journal, 2(1):23–32, 2011.
[Loe15] Frank Loebe. Ontological Semantics: An Attempt at Foundations of Ontology Representation. Phd thesis, Fakultät für Mathematik und Informatik, Universität Leipzig, 2015.
[LS08] Thomas Lukasiewicz and Umberto Straccia. Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics, 6(4):291– 308, 2008.
[LT09] Lina Lubyte and Sergio Tessaris. Automated extraction of ontologies wrapping relational data sources. In Proceedings of International Conference on Database and Expert Systems Applications (DEXA’09), pages 128–142. Springer, 2009.
[LTW09] C. Lutz, D. Toman, and F. Wolter. Conjunctive query answering in the description logic EL using a relational database system. In Proceedings of the 21st International Joint Conference on Artificial Intelligence IJCAI’09. AAAI Press, 2009.
[Luk17] Thomas Lukasiewicz. Uncertainty reasoning for the semantic web. In G. Ianni et al., editors, Reasoning Web 2017, volume 10370 of LNCS, pages 276–291. Springer, 2017.
[LWZ08] Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporal description logics: A survey. In Proc. of the Fifteenth International Symposium on Temporal Representation and Reasoning (TIME’08). IEEE Computer Society Press, 2008.
[MAdCB+12] John McCrae, Guadalupe Aguado-de Cea, Paul Buitelaar, Philipp Cimiano, Thierry Declerck, Asunción Gómez-Pérez, Jorge Gracia, Laura Hollink, Elena Montiel-Ponsoda, Dennis Spohr, and Tobias Wunner. Interchanging lexical resources on the semantic web. Language Resources and Evaluation, 46(4):701–719, 2012.
[MB09] Alistar Miles and Sean Bechhofer. SKOS Simple Knowledge Organization System Reference. W3c recommendation, World Wide Web Consortium (W3C), 18 August 2009.
[MBG+03] C. Masolo, S. Borgo, A. Gangemi, N. Guarino, and A. Oltramari. Ontology library. WonderWeb Deliverable D18 (ver. 1.0, 31-12-2003)., 2003. http://wonderweb.semanticweb.org.
[MBSJ08] Joshua S. Madin, Shawn Bowers, Mark P. Schildhauer, and Matthew B. Jones. Advancing ecological research with ontologies. Trends in Ecology & Evolution, 23(3):159–168, 2008.
[McC10] Dave McComb. Gist: The minimalist upper ontology (abstract). Semantic Technology Conference, 2010. 21-25 June 2010, San Francisco, USA.
[McD17] M. H. McDaniel. An Automated System for the Assessment and Ranking of Domain Ontologies. PhD thesis, Department of Computer Science, 2017.
[MCNK15] T. Mossakowski, M. Codescu, F. Neuhaus, and O. Kutz. The Road to Universal Logic–Festschrift for 50th birthday of Jean-Yves Beziau, Volume II, chapter The distributed ontology, modelling and specification language - DOL. Studies in Universal Logic. Birkhäuser, 2015.
[MdCB+12] John McCrae, Guadalupe Aguado de Cea, Paul Buitelaar, Philipp Cimiano, Thierry Declerck, Asunción Gómez-Pérez, Jorge Gracia, Laura Hollink, Elena Montiel-Ponsoda, Dennis Spohr, and Tobias Wunner. The lemon cookbook. Technical report, Monnet Project, June 2012. www.lemon-model.net.
[Mer10a] G. H. Merrill. Ontological realism: Methodology or misdirection? Applied Ontology, 5(2):79108, 2010.
[Mer10b] Gary H. Merrill. Realism and reference ontologies: Considerations, reflections and problems. Applied Ontology, 5(3):189–221, 2010.
[MGH+09] Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. OWL 2 Web Ontology Language Profiles. W3C recommendation, W3C, 27 Oct. 2009. http://www.w3.org/TR/owl2-profiles/.
[Miz10] R. Mizoguchi. YAMATO: Yet Another More Advanced Top-level Ontology. In Proceedings of the Sixth Australasian Ontology Workshop, Conferences in Research and Practice in Information, pages 1–16. CRPIT, 2010. Sydney : ACS.
[MPSP09] Boris Motik, Peter F. Patel-Schneider, and Bijan Parsia. OWL 2 web ontology language structural specification and functional-style syntax. W3c recommendation, W3C, 27 Oct. 2009. http://www.w3.org/TR/owl2-syntax/.
[MR05] M. C. MacLeod and E. M. Rubenstein. Universals. In The Internet Encyclopedia of Philosophy. 2005. http://www.iep.utm.edu/u/universa.htm.
[MSKK07] R. Mizoguchi, E. Sunagawa, K. Kozaki, and Y. Kitamura. A model of roles within an ontology development tool: Hozo. Applied Ontology, 2(2):159–179, 2007.
[N+13] Fabian Neuhaus et al. Towards ontology evaluation across the life cycle. Applied Ontology, 8(3):179–194, 2013.
[Neu17] Fabian Neuhaus. On the definition of ontology. In FOUST-II: 2nd Workshop on Foundational Ontology, Joint Ontology Workshops 2017, volume 2050 of CEURWS, page 10p, 2017. 21-23 September 2017, Bolzano, Italy.
[NM01] N.F. Noy and D.L. McGuinness. Ontology development 101: A guide to creating your first ontology. Technical Report KSL-01-05, and Stanford Medical Informatics Technical Report SMI-2001-0880, Stanford Knowledge Systems Laboratory, March 2001.
[NP01] I. Niles and A. Pease. Towards a standard upper ontology. In Chris Welty and Barry Smith, editors, Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), 2001. Ogunquit, Maine, October 17-19, 2001.
[OHWM10] Martin J. O’Connor, Christian Halaschek-Wiener, and Mark A. Musen. Mapping master: A flexible approach for mapping spreadsheets to owl. In Patel-Schneider P. F. et al., editors, Proceedings of the International Semantic Web Conference 2010 (ISWC’10), volume 6497 of LNCS, pages 194–208. Springer, 2010.
[Ope] OpenMRS. www.transifex.com/openmrs/OpenMRS/.
[PD+09] V. Presutti, E Daga, et al. extreme design with content ontology design patterns. In Proc. of WS on OP’09, volume 516 of CEUR-WS, pages 83–97, 2009.
[Per17] Silvio Peroni. A simplified agile methodology for ontology development. In Dragoni M., Poveda-Villalón M., and Jimenez-Ruiz E., editors, OWLED 2016, ORE 2016: OWL: Experiences and Directions Reasoner Evaluation, volume 10161 of LNCS, pages 55–69. Springer, 2017.
[Por10] F. Portoraro. Automated reasoning. In E. Zalta, editor, Stanford Encyclopedia of Philosophy. 2010. http://plato.stanford.edu/entries/ reasoning-automated/.
[PS07] Zdzislaw Pawlak and Andrzej Skowron. Rudiments of rough sets. Information Sciences, 177(1):3–27, 2007.
[PS15] Adrian Paschke and Ralph Schaefermeier. Aspect OntoMaven - aspect-oriented ontology development and configuration with OntoMaven. Technical Report 1507.00212v1, Institute of Computer Science, Free University of Berlin, July 2015.
[PT11] Rafael Peñaloza and Anni-Yasmin Turhan. A practical approach for computing generalization inferences in EL. In G. Antoniou et al., editors, 8th Extended Semantic Web Conference (ESWC’11), volume 6643 of LNCS, pages 410–423. Springer, 2011. Heraklion, Crete, Greece, 29 May-2 June, 2011.
[PVSFGP12] María Poveda-Villalón, Mari Carmen Suárez-Figueroa, and Asunción GómezPérez. Validating ontologies with OOPS! In A. ten Teije et al., editors, 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW’12), volume 7603 of LNAI, pages 267–281. Springer, 2012. Oct 8-12, Galway, Ireland.
[RCB+07] Alan Ruttenberg, Tim Clark, William Bug, Matthias Samwald, Olivier Bodenreider, Helen Chen, Donald Doherty, Kerstin Forsberg, Yong Gao, Vipul Kashyap, June Kinoshita, Joanne Luciano, M Scott Marshall, Chimezie Ogbuji, Jonathan Rees, Susie Stephens, Gwendolyn T Wong, Elizabeth Wu, Davide Zaccagnini, Tonya Hongsermeier, Eric Neumann, Ivan Herman, and Kei-Hoi Cheung. Advancing translational research with the semantic web. BMC Bioinformatics, 8(Suppl 3):S2, 2007.
[RCC92] D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. In Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, pages 165–176. Morgan Kaufmann, 1992.
[RCVB09] C. Roussey, O. Corcho, and L. Vilches-Blázquez. A catalogue of OWL ontology antipatterns. In Proc. of K-CAP’09, pages 205–206, 2009.
[RD97] E. Reiter and R. Dale. Building applied natural language generation systems. Natural Language Engineering, 3:57–87, 1997.
[RDH+04] AL Rector, N Drummond, M Horridge, L Rogers, H Knublauch, R Stevens, H Wang, and C. Wroe, Csallner. OWL pizzas: Practical experience of teaching OWL-DL: Common errors & common patterns. In Proceedings of the 14th International Conference Knowledge Acquisition, Modeling and Management (EKAW’04), volume 3257 of LNCS, pages 63–81. Springer, 2004. Whittlebury Hall, UK.
[RKH08a] Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. All elephants are bigger than all mice. In Franz Baader, Carsten Lutz, and Boris Motik, editors, Proc. 21st Int. Workshop on Description Logics (DL08), volume 353 of CEUR-WS, 2008. Dresden, Germany, May 1316, 2008.
[RKH08b] Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. Cheap boolean role constructors for description logics. In Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing, editors, Proc. 11th European Conf. on Logics in Artificial Intelligence (JELIA08), volume 5293 of LNAI, page 362374. Springer, 2008.
[RMC12] Mariano Rodríguez-Muro and Diego Calvanese. Quest, an OWL 2 QL reasoner for ontology-based data access. In P. Klinov and M. Horridge, editors, 7th Workshop on OWL: Experiences and Directions (OWLED’12), volume 849 of CEUR-WS, 2012. 27-28 May, Heraklion, Crete, Greece.
[RMJ03] C. Rosse and J. L. V. Mejino Jr. A reference ontology for biomedical informatics: the foundational model of anatomy. J. of Biomedical Informatics, 36(6):478–500, 2003.
[RMLC08] Mariano Rodriguez-Muro, Lina Lubyte, and Diego Calvanese. Realizing Ontology Based Data Access: A plug-in for Protégé. In Proc. of the Workshop on Information Integration Methods, Architectures, and Systems (IIMAS 2008). IEEE Computer Society, 2008.
[SAR+07] B. Smith, M. Ashburner, C. Rosse, J. Bard, W. Bug, W. Ceusters, L.J. Goldberg, K. Eilbeck, A. Ireland, C.J. Mungall, The OBI Consortium, N. Leontis, A.B. Rocca-Serra, A. Ruttenberg, S-A. Sansone, M. Shah, P.L. Whetzel, and S. Lewis. The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration. Nature Biotechnology, 25(11):1251–1255, 2007.
[Sat07] Ulrike Sattler. Reasoning in description logics: Basics, extensions, and relatives. In G. Antoniou et al., editors, Reasoning Web 2007, volume 4636 of LNCS, page 154182. Springer, 2007.
[SBF98] R. Studer, R. Benjamins, and D. Fensel. Knowledge engineering: Principles and methods. Data & Knowledge Engineering, 25(1-2):161198, 1998.
[SC10] Barry Smith and Werner Ceusters. Ontological realism: A methodology for coordinated evolution of scientific ontologies. Applied Ontology, 5(3):139–188, 2010.
[SCK+05] B. Smith, W. Ceusters, B. Klagges, J. Köhler, A. Kumar, J. Lomax, C. Mungall, F. Neuhaus, A. L. Rector, and C. Rosse. Relations in biomedical ontologies. Genome Biology, 6:R46, 2005.
[SD17] Hazem Safwat and Brian Davis. CNLs for the semantic web: a state of the art. Language Resources & Evaluation, 51(1):191–220, 2017.
[SFdCB+08] Mari Carmen Suarez-Figueroa, Guadalupe Aguado de Cea, Carlos Buil, Klaas Dellschaft, Mariano Fernandez-Lopez, Andres Garcia, Asuncion Gómez-Pérez, German Herrero, Elena Montiel-Ponsoda, Marta Sabou, Boris Villazon-Terrazas, and Zheng Yufei. NeOn methodology for building contextualized ontology networks. NeOn Deliverable D5.4.1, NeOn Project, 2008.
[SGJR+17] Ahmet Soylu, Martin Giese, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, and Ian Horrocks. Ontology-based end-user visual query formulation: Why, what, who, how, and which? Universal Access in the Information Society, 16(2):435–467, Jun 2017.
[SKC+08] R. Schwitter, K. Kaljurand, A. Cregan, C. Dolbear, and G. Hart. A comparison of three controlled natural languages for OWL 1.1. In Proc. of OWLED 2008 DC, 2008. Washington, DC, USA metropolitan area, on 1-2 April 2008.
[SKZ+ss] A. Soylu, E. Kharlamov, D. Zheleznyakov, E. Jimenez Ruiz, M. Giese, M.G. Skjaeveland, D. Hovland, R. Schlatte, S. Brandt, H. Lie, and I. Horrocks. Optiquevqs: a visual query system over ontologies for industry. Semantic Web, in press.
[SLL+04] Dagobert Soergel, Boris Lauser, Anita Liang, Frehiwot Fisseha, Johannes Keizer, and Stephen Katz. Reengineering thesauri for new applications: the AGROVOC example. Journal of Digital Information, 4(4), 2004.
[SMB10] Elena Simperl, Malgorzata Mochol, and Tobias Bürger. Achieving maturity: the state of practice in ontology engineering in 2009. International Journal of Computer Science and Applications, 7(1):45–65, 2010.
[Smi04] B. Smith. Beyond concepts, or: Ontology as reality representation. In A. Varzi and L. Vieu, editors, Formal Ontology and Information Systems. Proceedings of the Third International Conference (FOIS’04), pages 73–84. Amsterdam: IOS Press, 2004.
[SNO12] SNOMED CT, last accessed: 27-1-2012. http://www.ihtsdo.org/snomed-ct/.
[Sol05] D. Solow. How to read and do proofs: An introduction to mathematical thought processes. John Wiley & Sons, Hoboken NJ, USA., 4th edition, 2005.
[SS06] Vijayan Sugumaran and Veda C. Storey. The role of domain ontologies in database design: An ontology management and conceptual modeling environment. ACM Transactions on Database Systems, 31(3):1064–1094, 2006.
[SS09] Markus Stocker and Evren Sirin. Pelletspatial: A hybrid RCC-8 and RDF/OWL reasoning and query engine. In Rinke Hoekstra and Pieter Patel-Schneider, editors, Proceedings of the 6th International Workshop OWL: Experiences and Directions (OWLED’09), volume 529 of CEUR-WS, 2009. Chantilly, Virginia, USA, 23-24 October 2009.
[SSBS09] Stefan Schulz, Holger Stenzhorn, Martin Boekers, and Barry Smith. Strengths and limitations of formal ontologies in the biomedical domain. Electronic Journal of Communication, Information and Innovation in Health (Special Issue on Ontologies, Semantic Web and Health), 3(1):31–45, 2009.
[SSSS01] S. Staab, H.P. Schnurr, R. Studer, and Y. Sure. Knowledge processes and ontologies. IEEE Intelligent Systems, 16(1):26–34, 2001.
[STK16] L. Sanby, I. Todd, and C. M. Keet. Comparing the template-based approach to gf: the case of afrikaans. In 2nd International Workshop on Natural Language Generation and the Semantic Web (WebNLG’16), page (in print). ACL, 2016. September 6, 2016, Edinburgh, Scotland.
[Str08] Umberto Straccia. Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In Reasoning Web, 4th International Summer School, 2008.
[THU+16] Niket Tandon, Charles Hariman, Jacopo Urbani, Anna Rohrbach, Marcus Rohrbach, and Gerhard Weikum. Commonsense in parts: Mining part-whole relations from the web and image tags. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI’16), pages 243–250. AAAI Press, 2016.
[Tob01] S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, 2001.
[Tur08] Anni-Yasmin Turhan. On the Computation of Common Subsumers in Description Logics. PhD thesis, TU Dresden, Institute for Theoretical Computer Science, 2008, 2008.
[Tur10] Anni-Yasmin Turhan. Reasoning and explanation in EL and in expressive Description Logics. In U. Assmann, A. Bartho, and C. Wende, editors, Reasoning Web 2010, volume 6325 of LNCS, pages 1–27. Springer, 2010.
[TW11] David Toman and Grant E. Weddell. Fundamentals of Physical Design and Query Compilation. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, 2011.
[Var04] A. C. Varzi. Mereology. In E. N. Zalta, editor, Stanford Encyclopedia of Philosophy. Stanford, fall 2004 edition, 2004. http://plato.stanford.edu/archives/ fall2004/entries/mereology/.
[Var07] A.C. Varzi. Handbook of Spatial Logics, chapter Spatial reasoning and ontology: parts, wholes, and locations, pages 945–1038. Berlin Heidelberg: Springer Verlag, 2007.
[Var12] Achille C. Varzi. On doing ontology without metaphysics. Philosophical Perspectives, 25(1):407–423, 2012.
[VF09] K. Vila and A. Ferrández. Developing an ontology for improving question answering in the agricultural domain. In F. Sartori, M.A. Sicilia, and N. Manouselis, ´ editors, 3rd International Conference on Metadata and Semantics (MTSR’09), volume 46 of CCIS, pages 245–256. Springer, 2009. Oct 1-2 2009 Milan, Italy.
[vHLP08] Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors. Handbook of Knowledge Representation. Elsevier, 2008.
[VKC+16] Charles F. Vardeman, Adila A. Krisnadhi, Michelle Cheatham, Krzysztof Janowicz, Holly Ferguson, Pascal Hitzler, and Aimee P. C. Buccellato. An ontology design pattern and its use case for modeling material transformation. Semantic Web Journal, 8(5):719–731, 2016.
[Vra09] Danny Vrandečić. Ontology evaluation. In S. Staab and R. Studer, editors, Handbook on Ontologies, pages 293–313. Springer, 2nd edition, 2009.
[Wel06] Chris Welty. Ontowlclean: cleaning OWL ontologies with OWL. In B. Bennet and C. Fellbaum, editors, Proceedings of Formal Ontologies in Information Systems (FOIS’06), pages 347–359. IOS Press, 2006.
[WHF+13] Katherine Wolstencroft, Robert Haines, Donal Fellows, Alan Williams, David Withers, Stuart Owen, Stian Soiland-Reyes, Ian Dunlop, Aleksandra Nenadic, Paul Fisher, Jiten Bhagat, Khalid Belhajjame, Finn Bacall, Alex Hardisty, Abraham Nieva de la Hidalga, Maria P. Balcazar Vargas, Shoaib Sufi, , and Carole Goble. The taverna workflow suite: designing and executing workflows of web services on the desktop, web or in the cloud. Nucleic Acids Research, 41(W1):W557– W561, 2013.
[WKB07] R. Witte, T. Kappler, and C.J.O. Baker. Ontology design for biomedical text mining. In C.J.O. Baker and H. Cheung, editors, Semantic Web: revolutionizing knowledge discovery in the life sciences, pages 281–313. Springer, 2007.
[WNS+11] Patricia L. Whetzel, Natalya Fridman Noy, Nigam H. Shah, Paul R. Alexander, Csongor Nyulas, Tania Tudorache, and Mark A. Musen. BioPortal: enhanced functionality via new web services from the national center for biomedical ontology to access and use ontologies in software applications. Nucleic Acids Research, 39(Web-Server-Issue), 2011.
[WSH07] K. Wolstencroft, R. Stevens, and V. Haarslev. Applying OWL reasoning to genomic data. In C.J.O. Baker and H. Cheung, editors, Semantic Web: revolutionizing knowledge discovery in the life sciences, pages 225–248. Springer: New York, 2007.
[ZBG06] S. Zhang, O. Bodenreider, and C. Golbreich. Experience in reasoning with the Foundational Model of Anatomy in OWL DL. In R. B. Altman, A. K. Dunker, L. Hunter, T. A. Murray, and T. E. Klein, editors, Pacific Symposium on Biocomputing (PSB’06), pages 200–211. World Scientific, 2006.
[ZYS+05] Y. Zhou, Jx A. Young, A. Santrosyan, K. Chen, Sx F. Yan, and Ex A. Winzeler. In silico gene function prediction using ontology-based pattern identification. Bioinformatics, 21(7):1237–1245, 2005.