Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis

Total Page:16

File Type:pdf, Size:1020Kb

Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis 507 Bibliography [Abiteboul and Kanellakis, 1989] Serge Abiteboul and Paris Kanellakis. Object identity as a query language primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 159–173, 1989. [Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995. [Abiteboul et al., 1997] Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, and Janet L. Wiener. The Lorel query language for semistructured data. Int. J. on Digital Libraries, 1(1):68–88, 1997. [Abiteboul et al., 2000] Serge Abiteboul, Peter Buneman, and Dan Suciu. Data on the Web: from Relations to Semistructured Data and XML. Morgan Kaufmann, Los Altos, 2000. [Abiteboul, 1997] Serge Abiteboul. Querying semi-structured data. In Proc. of the 6th Int. Conf. on Database Theory (ICDT’97), pages 1–18, 1997. [Abrahams et al., 1996] Merryll K. Abrahams, Deborah L. McGuinness, Rich Thomason, Lori Alperin Resnick, Peter F. Patel-Schneider, Violetta Cavalli-Sforza, and Cristina Conati. NeoClassic tutorial: Version 1.0. Technical report, Artificial Intelligence Prin- ciples Research Department, AT&T Labs Research and University of Pittsburgh, 1996. Available as http://www.bell-labs.com/project/classic/papers/NeoTut/NeoTut. html. [Abrett and Burstein, 1987] Glen Abrett and Mark H. Burstein. The KREME knowledge editing environment. Int. J. of Man-Machine Studies, 27(2):103–126, 1987. [Abrial, 1974] J. R. Abrial. Data semantics. In J. W. Klimbie and K. L. Koffeman, editors, Data Base Management, pages 1–59. North-Holland Publ. Co., Amsterdam, 1974. [Achilles et al., 1991] E. Achilles, B. Hollunder, A. Laux, and J. P. Mohren. : Knowl- edge Representation and Inference System – User guide. Technical ReportKRIS D91-14, Deutsches Forschungszentrum f¨urK¨unstliche Intelligenz (DFKI), 1991. [Agoncillo et al., 1999] A. V. Agoncillo, M. J. L. V. Jr, and C. Rosse. Influence of the digital anatomist foundational model on traditional representations of anatomical concepts. J. of the American Medical Informatics Association, pages 2–6, 1999. Annual Symposium Issue. [A¨ıt-Kaciand Nasr, 1986] H. A¨ıt-Kaciand R. Nasr. LOGIN: A logic programming language with built-in inheritance. J. of Logic Programming, 3:185–215, 1986. [Albano et al., 1991] Antonio Albano, Giorgio Ghelli, and Renzo Orsini. A relationship mechanism for strongly typed Object-Oriented database programming languages. In Proc. of the 17th Int. Conf. on Very Large Data Bases (VLDB’91), pages 565–575, Barcelona (Spain), 1991. [Albano et al., 1993] Antonio Albano, Roberto Bergamini, Giorgio Ghelli, and Renzo Orsini. An object data model with roles. In Proc. of the 19th Int. Conf. on Very Large Data Bases (VLDB’93), pages 39–51, 1993. [Allen, 1983] James F. Allen. Maintaining knowledge about temporal intervals. Communi- cations of the ACM, 26(11):832–843, 1983. [Allen, 1991] James F. Allen. The RHET system. SIGART Bull., 2(3):1–7, 1991. [Allen, 1993] James F. Allen. Natural language, knowledge representation, and logical form. In M. Bates and R. Weischedel, editors, Challenges in Natural Language Processing. Cambridge University Press, 1993. [Allgayer et al., 1989] J. Allgayer, R. Jansen-Winkeln, C. Reddig, and N. Reithinger. Bidi- rectional use of knowledge in the multi-modal NL access system XTRA. In Proc. of the 508 10th Int. Joint Conf. on Artificial Intelligence (IJCAI’87), 1989. [Allgayer, 1990] J¨urgenAllgayer. SB-ONE+: Dealing with sets efficiently. In Proc. of the 9th Eur. Conf. on Artificial Intelligence (ECAI’90), pages 13–18, 1990. [Amarger et al., 1991] S. Amarger, D. Dubois, and H. Prade. Constraint propagation with imprecise conditional probabilities. In Proc. of the 7th Annual Conf. on Uncertainty in Artificial Intelligence (UAI’91), pages 26–34. Morgan Kaufmann, Los Altos, 1991. [Andr´eand Rist, 1995] Elisabeth Andr´eand Thomas Rist. Generating coherent presenta- tions employing textual and visual material. Artificial Intelligence Rev., 9(2/3):147–165, 1995. [Andr´e et al., 1996] E. Andr´e,J. M¨uller,and T. Rist. WIP/PPP: Automatic generation of personalized multimedia presentations. In Proc. of the 4th ACM Int. Multimedia Conference (Multimedia’96), pages 407–408, 1996. [Andr´eka et al., 1996] Hajnal Andr´eka, Johan van Benthem, and Istva´anN´emeti. Modal languages and bounded fragments of predicate logic. Technical Report ML-96-03, ILLC, University of Amsterdam, 1996. [Anwar et al., 1992] T. W. Anwar, H. Beck, and S. Navathe. Knowledge mining by imprecise querying: A classification-based approach. In Proc. of the 8th IEEE Int. Conf. on Data Engineering (ICDE’92), pages 622–630, 1992. [Areces and de Rijke, 1998] Carlos Areces and Marteen de Rijke. Expressiveness revisited. In Proc. of the 1998 Description Logic Workshop (DL’98). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-11/, 1998. [Areces et al., 2000] Carlos Areces, Patrick Blackburn, and Maarten Marx. The computa- tional complexity of hybrid temporal logics. J. of the Interest Group in Pure and Applied Logic, 8(5), 2000. [Areces, 2000] Carlos Areces. Logic Engineering. The Case of Description and Hybrid Logics. PhD thesis, ILLC, University of Amsterdam, 2000. ILLC Dissertation Series 2000–5. [Arens et al., 1993] Y. Arens, C. Y. Chee, C. Hsu, and C. A. Knoblock. Retrieving and integrating data from multiple information sources. J. of Intelligent and Cooperative Information Systems, 2(2):127–158, 1993. [Arens et al., 1996] Y. Arens, C. A. Knoblock, and W. Shen. Query reformulation for dy- namic information integration. J. of Intelligent Information Systems, 6:99–130, 1996. [Artale and Franconi, 1994] Alessandro Artale and Enrico Franconi. A computational ac- count for a description logic of time and action. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’94), pages 3–14, Bonn (Germany), 1994. Morgan Kaufmann, Los Altos. [Artale and Franconi, 1998] Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. J. of Artificial Intelligence Research, 9:463– 506, 1998. [Artale and Franconi, 1999] Alessandro Artale and Enrico Franconi. Temporal ER modeling with description logics. In Proc. of the 18th Int. Conf. on Conceptual Modeling (ER’99), volume 1728 of Lecture Notes in Computer Science, pages 81–95. Springer, 1999. [Artale and Franconi, 2000] Alessandro Artale and Enrico Franconi. A survey of temporal extensions of description logics. Ann. of Mathematics and Artificial Intelligence, 1–4:171– 210, 2000. [Artale and Franconi, 2001] Alessandro Artale and Enrico Franconi. Temporal description logics. In D. Gabbay, M. Fisher, and L. Vila, editors, Handbook of Time and Temporal Reasoning in Artificial Intelligence. The MIT Press, 2001. [Artale et al., 1996a] Alessandro Artale, Francesca Cesarini, and Giovanni Soda. Describing 509 database objects in a concept language environment. IEEE Trans. on Knowledge and Data Engineering, 8(2):345–351, 1996. [Artale et al., 1996b] Alessandro Artale, Enrico Franconi, Nicola Guarino, and Luca Pazzi. Part-whole relations in object-centered systems: An overview. Data and Knowledge Engineering, 20:347–383, 1996. [Artale et al., 2001] Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, and Michael Zakharyaschev. The (US) temporal description logic. In Proc. of the 2001 Description Logic WorkshopDLR (DL 2001). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-49/, 2001. [Baader and Hanschke, 1991a] Franz Baader and Philipp Hanschke. A schema for integrat- ing concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), pages 452–457, 1991. [Baader and Hanschke, 1991b] Franz Baader and Philipp Hanschke. A scheme for integrat- ing concrete domains into concept languages. Technical Report RR-91-10, Deutsches Forschungszentrum f¨urK¨unstliche Intelligenz (DFKI), 1991. [Baader and Hanschke, 1992] Franz Baader and Philipp Hanschke. Extensions of concept languages for a mechanical engineering application. In Proc. of the 16th German Work- shop on Artificial Intelligence (GWAI’92), volume 671 of Lecture Notes in Computer Science, pages 132–143. Springer, 1992. [Baader and Hollunder, 1991a] Franz Baader and Bernhard Hollunder. : nowledge epresentation and nference ystem. SIGART Bull., 2(3):8–14, 1991.KRIS K R [Baader and Hollunder, 1991bI ] FranzS Baader and Bernhard Hollunder. A terminological knowledge representation system with complete inference algorithm. In Proc. of the Workshop on Processing Declarative Knowledge (PDK’91), volume 567 of Lecture Notes in Artificial Intelligence, pages 67–86. Springer, 1991. [Baader and Hollunder, 1992] Franz Baader and Bernhard Hollunder. Embedding defaults into terminological knowledge representation formalisms. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’92), pages 306–317. Morgan Kaufmann, Los Altos, 1992. [Baader and Hollunder, 1993] Franz Baader and Bernhard Hollunder. How to prefer more specific defaults in terminological default logic. In Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI’93), pages 669–674. Morgan Kaufmann, Los Altos, 1993. [Baader and Hollunder, 1995a] Franz Baader and Bernhard Hollunder. Embedding defaults into terminological knowledge representation formalisms. J. of Automated Reasoning, 14:149–180, 1995. [Baader and Hollunder, 1995b] Franz Baader and Bernhard Hollunder.
Recommended publications
  • D3.3 Initial Technical & Logical Architecture and Future Work
    D3.3 Initial Technical & Logical Architecture and future work recommendations ECP 2008 DILI 558001 Europeana v1.0 D3.3 Initial Technical & Logical Architecture and future work recommendations Deliverable number D3.3 Dissemination level Public Delivery date 30 July 2010 Status Final Makx Dekkers, Stefan Gradmann, Jan Author(s) Molendijk eContentplus This project is funded under the eContentplus programme1, a multiannual Community programme to make digital content in Europe more accessible, usable and exploitable. 1 OJ L 79, 24.3.2005, p. 1. 1/14 D3.3 Initial Technical & Logical Architecture and future work recommendations 1. Introduction This deliverable has two tasks: To characterise the technical and logical architecture of Europeana as a system in its 1.0 state (that is to say by the time of the ‘Rhine’ release To outline the future work recommendations that can reasonably be made at that moment. This also provides a straightforward and logical structure to the document: characterisation comes first followed by the recommendations for future work. 2. Technical and Logical Architecture From a high-level architectural point of view, Europeana.eu is best characterized as a search engine and a database. It loads metadata delivered by providers and aggregators into a database, and uses that database to allow users to search for cultural heritage objects, and to find links to those objects. Various methods of searching and browsing the objects are offered, including a simple and an advanced search form, a timeline, and an openSearch API. It is also important to describe what Europeana.eu does not do, even though people sometimes expect it to.
    [Show full text]
  • A Knowledge Discovery Approach
    Semantic XML Tagging of Domain-Specific Text Archives: A Knowledge Discovery Approach Dissertation zur Erlangung des akademisches Grades Doktoringenieur (Dr.-Ing.) angenommen durch die Fakult¨at fur¨ Informatik der Otto-von-Guericke-Universit¨at Magdeburg von Diplom-Kaufmann Peter Karsten Winkler, geboren am 1. Oktober 1971 in Berlin Gutachterinnen und Gutachter: Prof. Dr. Myra Spiliopoulou Prof. Dr. Gunter Saake Prof. Dr. Stefan Conrad Ort und Datum des Promotionskolloquiums: Magdeburg, 22. Januar 2009 Karsten Winkler. Semantic XML Tagging of Domain-Specific Text Archives: A Knowl- edge Discovery Approach. Dissertation, Faculty of Computer Science, Otto von Guericke University Magdeburg, Magdeburg, Germany, January 2009. Contents List of Figures v List of Tables vii List of Algorithms xi Abstract xiii Zusammenfassung xv Acknowledgments xvii 1 Introduction 1 1.1 TheAbundanceofText ............................ 1 1.2 Defining Semantic XML Markup . 3 1.3 BenefitsofSemanticXMLMarkup . 9 1.4 ResearchQuestions ............................... 12 1.5 ResearchMethodology ............................. 14 1.6 Outline...................................... 16 2 Literature Review 19 2.1 Storage, Retrieval, and Analysis of Textual Data . ....... 19 2.1.1 Knowledge Discovery in Textual Databases . 19 2.1.2 Information Storage and Retrieval . 23 2.1.3 InformationExtraction. 25 2.2 Discovering Concepts in Textual Data . 26 2.2.1 Topic Discovery in Text Documents . 27 2.2.2 Extracting Relational Tuples from Text . 31 2.2.3 Learning Taxonomies, Thesauri, and Ontologies . 35 2.3 Semantic Annotation of Text Documents . 39 2.3.1 Manual Semantic Text Annotation . 40 2.3.2 Semi-Automated Semantic Text Annotation . 43 2.3.3 Automated Semantic Text Annotation . 47 2.4 Schema Discovery in Marked-Up Text Documents .
    [Show full text]
  • Ontology-Based Methods for Analyzing Life Science Data
    Habilitation a` Diriger des Recherches pr´esent´ee par Olivier Dameron Ontology-based methods for analyzing life science data Soutenue publiquement le 11 janvier 2016 devant le jury compos´ede Anita Burgun Professeur, Universit´eRen´eDescartes Paris Examinatrice Marie-Dominique Devignes Charg´eede recherches CNRS, LORIA Nancy Examinatrice Michel Dumontier Associate professor, Stanford University USA Rapporteur Christine Froidevaux Professeur, Universit´eParis Sud Rapporteure Fabien Gandon Directeur de recherches, Inria Sophia-Antipolis Rapporteur Anne Siegel Directrice de recherches CNRS, IRISA Rennes Examinatrice Alexandre Termier Professeur, Universit´ede Rennes 1 Examinateur 2 Contents 1 Introduction 9 1.1 Context ......................................... 10 1.2 Challenges . 11 1.3 Summary of the contributions . 14 1.4 Organization of the manuscript . 18 2 Reasoning based on hierarchies 21 2.1 Principle......................................... 21 2.1.1 RDF for describing data . 21 2.1.2 RDFS for describing types . 24 2.1.3 RDFS entailments . 26 2.1.4 Typical uses of RDFS entailments in life science . 26 2.1.5 Synthesis . 30 2.2 Case study: integrating diseases and pathways . 31 2.2.1 Context . 31 2.2.2 Objective . 32 2.2.3 Linking pathways and diseases using GO, KO and SNOMED-CT . 32 2.2.4 Querying associated diseases and pathways . 33 2.3 Methodology: Web services composition . 39 2.3.1 Context . 39 2.3.2 Objective . 40 2.3.3 Semantic compatibility of services parameters . 40 2.3.4 Algorithm for pairing services parameters . 40 2.4 Application: ontology-based query expansion with GO2PUB . 43 2.4.1 Context . 43 2.4.2 Objective .
    [Show full text]
  • Description Logics
    Description Logics Franz Baader1, Ian Horrocks2, and Ulrike Sattler2 1 Institut f¨urTheoretische Informatik, TU Dresden, Germany [email protected] 2 Department of Computer Science, University of Manchester, UK {horrocks,sattler}@cs.man.ac.uk Summary. In this chapter, we explain what description logics are and why they make good ontology languages. In particular, we introduce the description logic SHIQ, which has formed the basis of several well-known ontology languages, in- cluding OWL. We argue that, without the last decade of basic research in description logics, this family of knowledge representation languages could not have played such an important rˆolein this context. Description logic reasoning can be used both during the design phase, in order to improve the quality of ontologies, and in the deployment phase, in order to exploit the rich structure of ontologies and ontology based information. We discuss the extensions to SHIQ that are required for languages such as OWL and, finally, we sketch how novel reasoning services can support building DL knowledge bases. 1 Introduction The aim of this section is to give a brief introduction to description logics, and to argue why they are well-suited as ontology languages. In the remainder of the chapter we will put some flesh on this skeleton by providing more technical details with respect to the theory of description logics, and their relationship to state of the art ontology languages. More detail on these and other matters related to description logics can be found in [6]. Ontologies There have been many attempts to define what constitutes an ontology, per- haps the best known (at least amongst computer scientists) being due to Gruber: “an ontology is an explicit specification of a conceptualisation” [47].3 In this context, a conceptualisation means an abstract model of some aspect of the world, taking the form of a definition of the properties of important 3 This was later elaborated to “a formal specification of a shared conceptualisation” [21].
    [Show full text]
  • Will the Semantic Web Scale?
    Panel Discussion P3: Will the Semantic Web scale? New York Sheraton May 19th, 2004 Proposers: Panelists: Organizers: - Raphael Volz - Dr. Cathy Marshall - Raphael Volz - Carole Goble - Prof. Dr. Alon Y. Halevy - Daniel Oberle - Rudi Studer - Prof. Dr. Jürgen Angele - Prof. Dr. Ian Horrocks Panelist 1 Dr. Cathy Marshall Microsoft Corporation Texas A+M University Why the Semantic Web won’t scale the scaled semantic web seen as mass-market product “the Flowbee uses the suction power of your household vacuum to draw the hair up to the desired length, and then gives it a perfect cut.....every time.” Three important questions: • Will it really work? • Who needs it? • Is it safe? 3 will it work? evaluating the semantic web as metadata • compare the semantic web to a widely adopted metadata scheme like the MARC record used for library cataloging – MARC practitioners are members of a community and are trained to create metadata – MARC reduces interpretive load by careful choice of attributes, authority lists, & cataloging rules (AACR, e.g.) to constrain values – MARC records are controlled for interoperability and consistency in various ways (e.g. by clearinghouses like OCLC) – so... on-line catalog (OPAC) users know what to expect 4 will it work? evaluating the semantic web as metadata • by contrast, the semantic web is subject to the following pitfalls as it scales: – social structures for creating universal semantic web metadata are missing (local culture/practices/needs prevail) – semantic web metadata requires substantial interpretation of domain knowledge; underlying assumptions about use are highly situated – no way of ensuring interoperability, consistency, accuracy • e.g.
    [Show full text]
  • 3Rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems
    Proceedings 3rdNASA/IEEE Workshop on Formal Approaches to Agent-Based Systems Springer-Verlag LNCS vol. 3228 Edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski and Christopher A. Rouff Please note: This is a complete draft of the text; the publisher will add the correct page numbers, etc. The current formatting, although not very neat, I is the way the publisher requires it from us. Preface Greenbelt, MD October 2004 Organizing Committee Mike Hinchey, NASA Goddard Space Flight Center Jim Rash, NASA Goddard Space Flight Center Walt Truszkowski, NASA Goddard Space Flight Center Chris Rouff, SAIC I- _- Contents Ecology Based Decentralized Agent Management System Maim D. Pqirakhov, VincentA. Cicirello and William C. Regli ........................ 1 From Abstract to Concrete Nomin Agent Institutions Daide Grossi and Frank Dipm ............................................................ 12 Meeting the Deadline: Why, When and How Frank Dignum, Jan Broersen, Virginia Dignurn and John-Jules Meyer ................ 30 Multi-Agent Systems Reliability, Fuzziness, and Deterrence Michel Rudnimki and H&ne Bestougefl.. ................................................ 41 Formalism Challenges of the Cougaar Model Driven Architecture Shawn A. Bohner. Boby George. Denis Gracirnin andMichael G. Hinchey .......... 58 Facilitating the Specification Capture and Transformation Process in the Development of Multi-Agent Systems Aluizio Haendchen Filho, Nuno Caminah, Edward Hermann Haeusler and Arndt von Staa.. ............................................................................ 73 Using Ontologies to Formalize Services Specifications in Multi-Agent Systems Karin Koogan Breitman, Aluizio Haendchen Filho, Edward Hermann Haeusler and Am& von Staa ............................................................................. 93 Two Formal Gas Models For Multi-Agent Sweeping and Obstacle Avoidance Wesley Ken, Diana Spears, William Spears and David Thayer ...................... 1 13 A Formal kysisof Potential Energy in a Multi-agent System William M Spears, Diana F.
    [Show full text]
  • Toward an Open Knowledge Research Graph.Pdf
    THE SERIALS LIBRARIAN https://doi.org/10.1080/0361526X.2019.1540272 Toward an Open Knowledge Research Graph Sören Auera and Sanjeet Mann b aPresenter; bRecorder ABSTRACT KEYWORDS Knowledge graphs facilitate the discovery of information by organizing it into Knowledge graph; scholarly entities and describing the relationships of those entities to each other and to communication; Semantic established ontologies. They are popular with search and e-commerce com- Web; linked data; scientific panies and could address the biggest problems in scientific communication, research; machine learning according to Sören Auer of the Technische Informationsbibliothek and Leibniz University of Hannover. In his NASIG vision session, Auer introduced attendees to knowledge graphs and explained how they could make scientific research more discoverable, efficient, and collaborative. Challenges include incentiviz- ing researchers to participate and creating the training data needed to auto- mate the generation of knowledge graphs in all fields of research. Change in the digital world Thank you to Violeta Ilik and the NASIG Program Planning Committee for inviting me to this conference. I would like to show you where I come from. Leibniz University of Hannover has a castle that belonged to a prince, and next to the castle is the Technische Informationsbibliothek (TIB), responsible for supporting the scientific and technology community in Germany with publications, access, licenses, and digital information services. Figure 1 is an example of a knowledge graph about TIB. The basic ingredients of a knowledge graph are entities and relationships. We are the library of Leibniz University of Hannover and we are a member of Leibniz Association (a German research association).
    [Show full text]
  • Scalable Approaches for Auditing the Completeness of Biomedical Ontologies
    University of Kentucky UKnowledge Theses and Dissertations--Computer Science Computer Science 2021 Scalable Approaches for Auditing the Completeness of Biomedical Ontologies Fengbo Zheng University of Kentucky, [email protected] Author ORCID Identifier: https://orcid.org/0000-0001-5902-0186 Digital Object Identifier: https://doi.org/10.13023/etd.2021.128 Right click to open a feedback form in a new tab to let us know how this document benefits ou.y Recommended Citation Zheng, Fengbo, "Scalable Approaches for Auditing the Completeness of Biomedical Ontologies" (2021). Theses and Dissertations--Computer Science. 105. https://uknowledge.uky.edu/cs_etds/105 This Doctoral Dissertation is brought to you for free and open access by the Computer Science at UKnowledge. It has been accepted for inclusion in Theses and Dissertations--Computer Science by an authorized administrator of UKnowledge. For more information, please contact [email protected]. STUDENT AGREEMENT: I represent that my thesis or dissertation and abstract are my original work. Proper attribution has been given to all outside sources. I understand that I am solely responsible for obtaining any needed copyright permissions. I have obtained needed written permission statement(s) from the owner(s) of each third-party copyrighted matter to be included in my work, allowing electronic distribution (if such use is not permitted by the fair use doctrine) which will be submitted to UKnowledge as Additional File. I hereby grant to The University of Kentucky and its agents the irrevocable, non-exclusive, and royalty-free license to archive and make accessible my work in whole or in part in all forms of media, now or hereafter known.
    [Show full text]
  • Owl2, Rif, Sparql1.1)
    http://www.csd.abdn.ac.uk/ http://www.deri.ie The Role of Logics and Logic Programming in Semantic Web Standards (OWL2, RIF, SPARQL1.1) Axel Polleres Digital Enterprise Research Institute (DERI) National University of Ireland, Galway 1 Outline ESWC2010 Quick intro of RDF/OWL/Linked Open Data OWL2 Overview: from OWL 1 to OWL 2 Reasoning services in OWL 2 OWL2 Treactable Fragments (OWL2RL, OWL2EL, OWL2QL) OWL2 and RIF OWL2 and SPARQL1.1 Time allowed: Implementing SPARQL, OWL2RL, RIF on top of DLV – The GiaBATA system 2 Example: Finding experts/reviewers? ESWC2010 Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler: N3Logic: A logical framework for the World Wide Web. Theory and Practice of Logic Programming (TPLP), Volume 8, p249-269 Who are the right reviewers? Who has the right expertise? Which reviewers are in conflict? Observation: Most of the necessary data already on the Web, as RDF! More and more of it follows the Linked Data principles, i.e.: 1. Use URIs as names for things 2. Use HTTP dereferenceable URIs so that people can look up those names. 3. When someone looks up a URI, provide useful information. 4. Include links to other URIs so that they can discover more things. 3 RDF on the Web ESWC2010 (i) directly by the publishers (ii) by e.g. transformations, D2R, RDFa exporters, etc. FOAF/RDF linked from a home page: personal data (foaf:name, foaf:phone, etc.), relationships foaf:knows, rdfs:seeAlso ) 4 RDF on the Web ESWC2010 (i) directly by the publishers (ii) by e.g.
    [Show full text]
  • 599, Giese, M., Skjaeveland, M
    City Research Online City, University of London Institutional Repository Citation: Soylu, A., Kharlamov, E., Zheleznyakov, D., Jimenez-Ruiz, E. ORCID: 0000- 0002-9083-4599, Giese, M., Skjaeveland, M. G., Hovland, D., Schlatte, R., Brandt, S., Lie, H. and Horrocks, I. (2018). OptiqueVQS: A visual query system over ontologies for industry. Semantic Web, 9(5), doi: 10.3233/SW-180293 This is the accepted version of the paper. This version of the publication may differ from the final published version. Permanent repository link: https://openaccess.city.ac.uk/id/eprint/22928/ Link to published version: http://dx.doi.org/10.3233/SW-180293 Copyright: City Research Online aims to make research outputs of City, University of London available to a wider audience. Copyright and Moral Rights remain with the author(s) and/or copyright holders. URLs from City Research Online may be freely distributed and linked to. Reuse: Copies of full items can be used for personal research or study, educational, or not-for-profit purposes without prior permission or charge. Provided that the authors, title and full bibliographic details are credited, a hyperlink and/or URL is given for the original metadata page and the content is not changed in any way. City Research Online: http://openaccess.city.ac.uk/ [email protected] Semantic Web 0 (0) 1–35 1 IOS Press OptiqueVQS: a Visual Query System over Ontologies for Industry 1 Editor(s): Freddy Lecue, Accenture Tech Labs, Ireland Solicited review(s): Vanessa Lopez, IBM Research, Ireland; Two anonymous reviewers Ahmet Soylu a;∗, Evgeny Kharlamov b, Dmitriy Zheleznyakov b, Ernesto Jimenez-Ruiz c, Martin Giese c, Martin G.
    [Show full text]
  • Submission Data for 2017 CORE Conference Re-Ranking Process
    Submission Data for 2017 CORE conference Re-ranking process International Semantic Web Conference (Submitted as a comparator for Semantics - International Conference on Semantic Systems) Submitted by: Tassilo Pellegrini [email protected] Supported by: Van Harmelen Frank, Sack Harald, Fensel Dieter, Auer Sören Conference Details Conference Title: International Semantic Web Conference Acronym : ISWC Rank: A Recent Years Most Recent Year Year: 2016 URL: http://iswc2016.semanticweb.org/ Papers submitted: 326 Papers published: 75 Acceptance rate: 23 Source for acceptance rate: http://www.springer.com/de/book/9783319465227 Program Chairs Name: Paul Groth Affiliation: Elsevier Labs Netherlands H index: 39 Google Scholar URL: https://scholar.google.at/citations?user=0tHSHCIAAAAJ&hl=de DBLP URL: Name: Elena Simperl Affiliation: University of Southampton UK H index: 28 Google Scholar URL: DBLP URL: General Chairs Name: Yolanda Gil Affiliation: Information Sciences Institute, University of Southern California United States H index: 57 Google Scholar URL: https://scholar.google.at/citations?user=NDmGsCgAAAAJ&hl=de DBLP URL: Second Most Recent Year Year: 2015 URL: http://iswc2015.semanticweb.org/ Papers submitted: 172 Papers published: 38 Acceptance rate: 22 Source for acceptance rate: http://www.springer.com/de/book/9783319250090 1 Program Chairs Name: Marcelo Arenas Affiliation: Pontificia Universidad Catolica de Chile Chile H index: 38 Google Scholar URL: https://scholar.google.at/citations?user=YHR0wkkAAAAJ&hl=de DBLP URL: Name: Oscar Corcho
    [Show full text]
  • Submission Data for 2020-2021 CORE Conference Ranking Process (Submitted As a Comparator for International Conference on Automated Deduction )
    Submission Data for 2020-2021 CORE conference Ranking process (Submitted as a comparator for International Conference on Automated Deduction ) Philipp Ruemmer, Christoph Weidenbach Conference Details Conference Title: International Joint Conference on Automated Reasoning Acronym : IJCAR Rank: A* DBLP Link DBLP url: https://dblp.org/db/conf/cade/index.html Recent Years Proceedings Publishing Style Proceedings Publishing: series Link to most recent proceedings: https://www.springer.com/gp/book/9783030510732 Further details: Published in the LNCS series of Springer. The proceedings mainly consist of contributed research papers and tool papers. Most Recent Years Most Recent Year Year: 2018 URL: http://ijcar2018.org/ Location: Oxford, United Kingdom Papers submitted: 108 Papers published: 46 Acceptance rate: 43 Source for numbers: http://ijcar.org//conferences General Chairs Name: Ian Horrocks Affiliation: University of Oxford, UK Gender: M H Index: 96 GScholar url: https://scholar.google.com/citations?user=0ypdmcYAAAAJ&hl=en DBLP url: Program Chairs 1 Name: Didier Galmiche Affiliation: UniversitÃľ de Lorraine, France Gender: M H Index: 19 GScholar url: DBLP url: https://dblp.org/pid/82/76.html Name: Stephan Schulz Affiliation: DHBW Stuttgart, Germany Gender: M H Index: 25 GScholar url: https://scholar.google.com/citations?user=Ebf2ARQAAAAJ&hl=en DBLP url: Name: Roberto Sebastiani Affiliation: University of Trento, Italy Gender: M H Index: 45 GScholar url: https://scholar.google.com/citations?user=qmnmdYsAAAAJ&hl=en DBLP url: Second Most Recent Year
    [Show full text]