Data Validation with OWL Integrity Constraints
|
|
- Dominic Caldwell
- 8 years ago
- Views:
Transcription
1 Data Validation with OWL Integrity Constraints (Extended Abstract) Evren Sirin Clark & Parsia, LLC, Washington, DC, USA Abstract. Data validation is an important part of data integration and analysis tasks. The consequences of having invalid data ranges from rather harmless application failures to serious errors in decision making process. Web Ontology Language (OWL) provides an expressive language that facilitates data integration and analysis tasks. However, the Open World Assumption (OWA) adopted by standard OWL semantics, combined with the absence of the Unique Name Assumption (UNA), makes it difficult to use OWL for data validation. What triggers constraint violations in closed world systems leads to new inferences in standard OWL systems. In this paper, we present an Integrity Constraint (IC) semantics for OWL axioms to address this issue. Ontology modelers can choose which axioms will be interpreted with IC semantics and combine open world reasoning with closed world constraint validation in a flexible way. We also show that IC validation can be reduced to query answering under certain conditions. 1 Introduction Data integration and analysis are important tasks in many domains and applications. As IT systems are moving towards a more distributed pattern of implementation and deployment, applications need data to be enriched with more semantics. Richer data semantics enables us to build a unified model over distributed data sources and to perform analysis and reasoning tasks over the unified model. Web Ontology Language (OWL) provides a solution to this problem by allowing the representation of data semantics in a formal logic-based language that is amenable to automated reasoning. The semantics of OWL addresses distributed knowledge representation scenarios where complete knowledge about the domain cannot be assumed. OWL adopts Open World Assumption (OWA) so a statement cannot be inferred to be false on the basis of failure to prove it. Furthermore, OWL does not adopt Unique Name Assumption (UNA) which means two resources with different identifiers might be treated as same objects. This paper is a summary of earlier publications [8,9]. P. Hitzler and T. Lukasiewicz (Eds.): RR 2010, LNCS 6333, pp , c Springer-Verlag Berlin Heidelberg 2010
2 Data Validation with OWL Integrity Constraints 19 The above characteristics of OWL make it difficult to use OWL for data validation in applications where complete knowledge can be assumed for some or all parts of the domain. In such data-centric applications, we would like to use OWL as an expressive schema language to specify the constraints that must be satisfied by instance data. In the literature, OWA has been identified as the biggest single hurdle to understanding OWL [7]. It is a common misconception for newcomers to think that axioms in OWL are similar to constraints in relational databases. However, the axioms in an ontology are meant to infer new knowledge rather than trigger an inconsistency. In many use cases, we need the ability to combine open world reasoning with closed world constraint validation in a flexible way. It should be possible to use OWA for the parts of the domain where complete knowledge cannot be assumed and use CWA for the other parts of the domain where we have complete knowledge. In our previous work [9], we presented an alternative semantics for OWL axioms to enable closed world data validation. The ontology developers can choose which axioms will be interpreted with regular OWL semantics and which axioms will be interpreted with IC semantics. In the rest of this paper, we provide a simple example to illustrate the difficulties in using OWL for data validation, briefly describe our IC semantics proposal and present an IC validation algorithm we developed for this semantics. Most of the technical details are omitted in this paper and can be found in [9]. 2 IC Example There are various types of ICs identified in the literature. Some examples are subsumption constraints, typing constraints, participation constraints and uniqueness constraints. We will use participation constraints as one example to illustrate the difficulties in using OWL for data validation. A mandatory participation constraint states that instances of the constrained class should participate in a relation. If we would like to express that every Product instance should be related by the madeby property to a there is a Manufacturer, we can write the following OWL axiom: Product madeby.manufacturer (1) However, this participation constraint is expressing a general truth about the world. It does not constrain what should exist in a specific ontology or knowledge base. For example, suppose we have an ontology where there is an instance of the Product class is defined: Product(product1) (2) This ontology is not inconsistent according to the semantics of OWL since with OWA we can conclude that product2 has a manufacturer but no knowledge
3 20 E. Sirin about that manufacturer exists in this ontology. For data validation purposes, we might want to detect or even prevent cases when the manufacturer of a product is not known. However, it is not possible to do so with the above axiom. It is possible to close the onotlogy by augmenting it with additional assertions to state that all the relevant information is known. In a preprocessing step, we can check the explicit and the implicit property values for each individual and add explicit cardinality restrictions to assert that there are no more property values. For the above example, we can add the following type assertion: ( 0 madeby)(product1) (3) The combination of (1), (2), and (3) would result in an inconsistency with regular OWL semantics. However, there are couple of problems with the preprocessing approach. First, the preprocessing step can be computationally expensive especially because we need to take the entailments of a KB into consideration. This problem becomes more significant if the data assertions are changing frequently. Second, even if we ignore the efficiency considerations, preprocessing solution cannot address other kind of constraints such as typing constraints (see examples discussed in [9]). 3 IC Semantics for OWL It is apparent, even from the simple example presented above, that OWL ontologies cannot be used in a straight-forward way for data validation purposes. In order to overcome this problem, we started investigating possible solutions. Our goal was to enable using OWL to express ICs without needing a different representation language. The approach formalized in [4] describes one such solution where the axioms in an OWL ontology is partitioned into two sets. The axioms in one set is interpreted with regular OWL axioms to do inference and the axioms in the second set is interpreted with a closed-world semantics based on minimal Herbrand models to do validation. Even tough this approach satisfies many of the conditions mentioned so far we have identified several issues with the semantics that would yield undesirable results in practice [9]. In order to overcome the problems we have identified in existing solutions, we defined a new IC semantics [9] for interpreting OWL axioms. The IC semantics we define extends the model theory of OWL 2 or more correctly the model theory of the Description Logic SROIQ [2] which is the basis of OWL 2 semantics [5]. The semantics extension we propose has many similarities to epistemic DLs such as ALCK[1] but there are also some differences. First, unlike ALCK we do not require the epistemic operator K to be explicitly used. The semantics for ICs is defined as if the K operator exists in front of every class and property. Second, the IC semantics we define is applicable to any SROIQ ontology and not restricted to ALC expressivity. Third and most importantly, ALCK semantics adopt strict UNA which excludes the possibility of stating two names identify the same individual. Even
4 Data Validation with OWL Integrity Constraints 21 though we want to prohibit ICs to infer equality between individuals, we still would like to allow OWL ontologies to include explicit equality between individual names to assist data integration scenarios. In our formalization, we adopt a weak form of UNA where two different individual names are assumed to be different unless their equality is required to satisfy the axioms in an ontology. 4 Data Validation Algorithm We show in [9] that given a regular OWL ontology and an IC expressed as an OWL axiom, checking if the IC is violated by the OWL ontology can be reduced to conjunctive query answering under certain conditions. These conditions require, intuitively, that either the ontology does not contain disjunctive (in)equality between individuals or the IC does include cardinality restrictions. In OWL, only nominals or cardinality restrictions can result in disjunctive (in)equality so if neither exists in an ontology then we can use the query reduction technique as explained next. The ICs can be translated to queries using an approach very similar to the well-known Lloyd-Topor transformation [3].The queries that are produced as the result of this transformation contains only distinguished variables and may also include the negation-as-failure operator. The translation algorithm transforms an IC into a query such that the IC is violated w.r.t. the proposed IC semantics by an ontology if and only if the ontology entails the query. In other words, whenever the answer set of the query is not empty w.r.t. an ontology, we conclude that the IC is violated by that ontology. There are some nice practical benefits of the query translation approach. It is possible to express the generated queries using the SPARQL [6] query language which is the most commonly used Semantic Web query language. Even tough the standard SPARQL semantics is not compatible with OWL semantics, it allows extended entailment regimes to be used and a precise definition of OWL-compatible SPARQL semantics is being developed by the W3C s SPARQL Working Group as part of SPARQL Most existing OWL reasoners support answering SPARQL queries so the SPARQL queries generated by this translation can be evaluated using off-the-shelf OWL reasoners. 5 Conclusions The IC semantics we propose addresses many IC use cases like such as participation, typing and uniqueness constraints. By adopting weak form of UNA, the IC semantics allows explicit equality assertions to be asserted while avoiding undesirable equality inferences due to uniqueness constraints. We have shown in [9] with several examples that our IC semantics proposal provides more intuitive results compared to other proposals such as [4]. Our approach allows ontology developers use OWL both to express axioms for inferencing and ICs for data validation 1
5 22 E. Sirin providing a flexible way to combine open world reasoning with closed world data validation. Validation of ICs can be reduced to query answering where a straightforward translation algorithm transforms ICs to SPARQL queries. This translation allows us to use existing OWL reasoners for IC validation. Acknowledgements This paper summarizes work done in collaboration with Jiao Tao and published in [8,9]. This work was partly funded by the NIST grant SB SE065. I would also like to acknowledge valuable feedback and input from Héctor Pérez- Urbina, Peter Patel-Schneider, Evan Wallace, and Kendall Clark. References 1. Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. AI 100(1-2), (1998) 2. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible sroiq. In: KR 2006, pp AAAI Press, Menlo Park (2006) 3. Lloyd, J.W., Topor, R.W.: Making prolog more expressive. J. of Logic Programming 1, (1984) 4. Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between owl and relational databases. In: WWW 2007, pp ACM Press, New York (2007) 5. Motik, B., Patel-Schneider, P.F., Grau, B.C.: Owl 2 web ontology language direct semantics (2009), 6. Prud hommeaux, E., Seaborne, A.: SPARQL query language for RDF (2008), 7. Rector, A.L., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: Owl pizzas: Practical experience of teaching owl-dl: Common errors & common patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW LNCS (LNAI), vol. 3257, pp Springer, Heidelberg (2004) 8. Sirin, E., Tao, J.: Towards integrity constraints in owl. In: Proceedings of the Workshop on OWL: Experiences and Directions, OWLED 2009 (2009) 9. Tao, J., Evren, S., Bao, J., McGuiness, D.: Integrity constraints in owl. In: 24th Conference on Artificial Intelligence, AAAI 2010 (2010)
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Completing Description Logic Knowledge Bases using Formal Concept Analysis Franz Baader, 1 Bernhard Ganter, 1 Barış Sertkaya, 1 and Ulrike Sattler 2 1 TU Dresden, Germany and 2 The University of Manchester,
More informationPolicy-driven governance in cloud application platforms: an ontology-based approach
Policy-driven governance in cloud application platforms: an ontology-based approach Dimitrios KOURTESIS a,1 Iraklis PARASKAKIS a b, and Anthony J.H. SIMONS a South-East European Research Centre, International
More informationMatching Semantic Service Descriptions with Local Closed-World Reasoning
Matching Semantic Service Descriptions with Local Closed-World Reasoning Stephan Grimm 1, Boris Motik 1, and Chris Preist 2 1 FZI Research Center for Information Technologies at the University of Karlsruhe
More informationAn Approach to Support Data Integrity for Web Services Using Semantic RESTful Interfaces
An Approach to Support Data Integrity for Web Services Using Semantic RESTful Interfaces Hermano Albuquerque Lira SERPRO Av. Pontes Vieira, 832, CEP 60.130-240 hermano.lira@serpro.gov.br Tadeu Matos Nunes
More informationFuzzy-DL Reasoning over Unknown Fuzzy Degrees
Fuzzy-DL Reasoning over Unknown Fuzzy Degrees Stasinos Konstantopoulos and Georgios Apostolikas Institute of Informatics and Telecommunications NCSR Demokritos Ag. Paraskevi 153 10, Athens, Greece {konstant,apostolikas}@iit.demokritos.gr
More informationA generic approach for data integration using RDF, OWL and XML
A generic approach for data integration using RDF, OWL and XML Miguel A. Macias-Garcia, Victor J. Sosa-Sosa, and Ivan Lopez-Arevalo Laboratory of Information Technology (LTI) CINVESTAV-TAMAULIPAS Km 6
More informationPosition Paper: Validation of Distributed Enterprise Data is Necessary, and RIF can Help
Position Paper: Validation of Distributed Enterprise Data is Necessary, and RIF can Help David Schaengold Director of Business Solutions Revelytix, Inc Sept 19, 2011, Revised Oct 17, 2011 Overview Revelytix
More informationDeveloping a Distributed Reasoner for the Semantic Web
Developing a Distributed Reasoner for the Semantic Web Raghava Mutharaju, Prabhaker Mateti, and Pascal Hitzler Wright State University, OH, USA. {mutharaju.2, prabhaker.mateti, pascal.hitzler}@wright.edu
More informationHow To Create A Role Based Access Control System For Context Aware Environments
A Role and Attribute Based Access Control System Using Semantic Web Technologies Lorenzo Cirio 1,IsabelF.Cruz 1,andRobertoTamassia 2 1 University of Illinois at Chicago {lcirio ifc}@cs.uic.edu 2 Brown
More informationA Meta-model of Business Interaction for Assisting Intelligent Workflow Systems
A Meta-model of Business Interaction for Assisting Intelligent Workflow Systems Areti Manataki and Yun-Heh Chen-Burger Centre for Intelligent Systems and their Applications, School of Informatics, The
More informationSemantic Variability Modeling for Multi-staged Service Composition
Semantic Variability Modeling for Multi-staged Service Composition Bardia Mohabbati 1, Nima Kaviani 2, Dragan Gašević 3 1 Simon Fraser University, 2 University of British Columbia, 3 Athabasca University,
More informationDC Proposal: Automation of Service Lifecycle on the Cloud by Using Semantic Technologies
DC Proposal: Automation of Service Lifecycle on the Cloud by Using Semantic Technologies Karuna P. Joshi* Computer Science and Electrical Engineering University of Maryland, Baltimore County, Baltimore,
More informationIncremental Query Answering for Implementing Document Retrieval Services
Incremental Query Answering for Implementing Document Retrieval Services Volker Haarslev and Ralf Möller Concordia University, Montreal University of Applied Sciences, Wedel Abstract Agent systems that
More informationOilEd: a Reason-able Ontology Editor for the Semantic Web
OilEd: a Reason-able Ontology Editor for the Semantic Web Sean Bechhofer, Ian Horrocks, Carole Goble and Robert Stevens Department of Computer Science, University of Manchester, UK seanb@cs.man.ac.uk,
More informationKnowledge Representation for the Semantic Web
Knowledge Representation for the Semantic Web Winter Quarter 2011 Pascal Hitzler Slides 7 02/08/2011 Kno.e.sis Center Wright State University, Dayton, OH http://www.knoesis.org/pascal/ KR4SW Winter 2011
More informationLogical and categorical methods in data transformation (TransLoCaTe)
Logical and categorical methods in data transformation (TransLoCaTe) 1 Introduction to the abbreviated project description This is an abbreviated project description of the TransLoCaTe project, with an
More informationSemantic Web OWL. Acknowledgements to Pascal Hitzler, York Sure. Steffen Staab ISWeb Lecture Semantic Web (1)
Semantic Web OWL Acknowledgements to Pascal Hitzler, York Sure ISWeb Lecture Semantic Web (1) OWL General W3C Recommendation since 2004 Semantic fragment of FOL Three variants: OWL Lite OWL DL OWL Full
More informationBinding Ontologies & Coding systems to Electronic Health Records and Messages
Binding Ontologies & Coding systems to Electronic Health Records and Messages AL Rector MD PhD 1, R Qamar MSc 1 and T Marley MSc 2 1 School of Computer Science, University of Manchester, Manchester M13
More informationDeveloping rule-based applications for the Web: Methodologies and Tools
Developing rule-based applications for the Web: Methodologies and Tools Vassilis Papataxiarhis, Vassileios Tsetsos, Isambo Karali, Panagiotis Stamatopoulos, Stathes Hadjiefthymiades Department of Informatics
More informationBinding Ontologies & Coding systems to Electronic Health Records and Messages
KR-MED 2006 "Biomedical Ontology in Action" November 8, 2006, Baltimore, Maryland, USA Binding Ontologies & Coding systems to Electronic Health Records and Messages AL Rector MD PhD 1, R Qamar MSc 1 and
More informationDLDB: Extending Relational Databases to Support Semantic Web Queries
DLDB: Extending Relational Databases to Support Semantic Web Queries Zhengxiang Pan (Lehigh University, USA zhp2@cse.lehigh.edu) Jeff Heflin (Lehigh University, USA heflin@cse.lehigh.edu) Abstract: We
More informationData Quality in Ontology-Based Data Access: The Case of Consistency
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence Data Quality in Ontology-Based Data Access: The Case of Consistency Marco Console, Maurizio Lenzerini Dipartimento di Ingegneria
More informationReverse Engineering of Relational Databases to Ontologies: An Approach Based on an Analysis of HTML Forms
Reverse Engineering of Relational Databases to Ontologies: An Approach Based on an Analysis of HTML Forms Irina Astrova 1, Bela Stantic 2 1 Tallinn University of Technology, Ehitajate tee 5, 19086 Tallinn,
More informationOptique System: Towards Ontology and Mapping Management in OBDA Solutions
Optique System: Towards Ontology and Mapping Management in OBDA Solutions Peter Haase 2, Ian Horrocks 3, Dag Hovland 6, Thomas Hubauer 5, Ernesto Jimenez-Ruiz 3, Evgeny Kharlamov 3, Johan Klüwer 1 Christoph
More information! " # The Logic of Descriptions. Logics for Data and Knowledge Representation. Terminology. Overview. Three Basic Features. Some History on DLs
,!0((,.+#$),%$(-&.& *,2(-$)%&2.'3&%!&, Logics for Data and Knowledge Representation Alessandro Agostini agostini@dit.unitn.it University of Trento Fausto Giunchiglia fausto@dit.unitn.it The Logic of Descriptions!$%&'()*$#)
More informationA Service-Oriented Architecture to Support Agent Reputation Models Interoperability
A Service-Oriented Architecture to Support Agent Reputation Models Interoperability Luis G. Nardin 1, Anarosa A. F. Brandão 1, Jaime S. Sichman 1, and Laurent Vercouter 2 1 Laboratório de Técnicas Inteligentes
More informationComparing Instances of the Ontological Concepts
Comparing Instances of the Ontological Concepts Anton Andrejko and Mária Bieliková Faculty of Informatics and Information Technologies, Slovak University of Technology, Ilkovičova 3, 842 16 Bratislava,
More informationI. INTRODUCTION NOESIS ONTOLOGIES SEMANTICS AND ANNOTATION
Noesis: A Semantic Search Engine and Resource Aggregator for Atmospheric Science Sunil Movva, Rahul Ramachandran, Xiang Li, Phani Cherukuri, Sara Graves Information Technology and Systems Center University
More informationRobust Module-based Data Management
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. V, NO. N, MONTH YEAR 1 Robust Module-based Data Management François Goasdoué, LRI, Univ. Paris-Sud, and Marie-Christine Rousset, LIG, Univ. Grenoble
More informationAnnotation for the Semantic Web during Website Development
Annotation for the Semantic Web during Website Development Peter Plessers, Olga De Troyer Vrije Universiteit Brussel, Department of Computer Science, WISE, Pleinlaan 2, 1050 Brussel, Belgium {Peter.Plessers,
More informationAn Efficient and Scalable Management of Ontology
An Efficient and Scalable Management of Ontology Myung-Jae Park 1, Jihyun Lee 1, Chun-Hee Lee 1, Jiexi Lin 1, Olivier Serres 2, and Chin-Wan Chung 1 1 Korea Advanced Institute of Science and Technology,
More informationImproving EHR Semantic Interoperability Future Vision and Challenges
Improving EHR Semantic Interoperability Future Vision and Challenges Catalina MARTÍNEZ-COSTA a,1 Dipak KALRA b, Stefan SCHULZ a a IMI,Medical University of Graz, Austria b CHIME, University College London,
More informationData Quality in Information Integration and Business Intelligence
Data Quality in Information Integration and Business Intelligence Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada : Faculty Fellow of the IBM Center for Advanced Studies
More informationDesign and Implementation of a Semantic Web Solution for Real-time Reservoir Management
Design and Implementation of a Semantic Web Solution for Real-time Reservoir Management Ram Soma 2, Amol Bakshi 1, Kanwal Gupta 3, Will Da Sie 2, Viktor Prasanna 1 1 University of Southern California,
More informationSydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1 Anne Cregan 1,2, Rolf Schwitter 3, and Thomas Meyer 1,2 1 NICTA, [Anne.Cregan,Thomas.Meyer]@nicta.com.au 2 University of New
More informationPellet: A Practical OWL-DL Reasoner
Pellet: A Practical OWL-DL Reasoner Evren Sirin a, Bijan Parsia a, Bernardo Cuenca Grau a,b, Aditya Kalyanpur a, Yarden Katz a a University of Maryland, MIND Lab, 8400 Baltimore Ave, College Park MD 20742,
More informationGeospatial Information with Description Logics, OWL, and Rules
Reasoning Web 2012 Summer School Geospatial Information with Description Logics, OWL, and Rules Presenter: Charalampos Nikolaou Dept. of Informatics and Telecommunications National and Kapodistrian University
More informationBinding Ontologies & Coding systems to Electronic Health. Records and Messages
Binding Ontologies & Coding systems to Electronic Health Records and Messages AL Rector MD PhD 1, R Qamar MSc 1 and T Marley MSc 2 1 School of Computer Science, University of Manchester, Manchester M13
More informationUse of OWL and SWRL for Semantic Relational Database Translation
Use of OWL and SWRL for Semantic Relational Database Translation Matthew Fisher, Mike Dean, Greg Joiner BBN Technologies, 1300 N. 17th Street, Suite 400, Arlington, VA 22209 {mfisher, mdean, gjoiner}@bbn.com
More informationWeb-Based Genomic Information Integration with Gene Ontology
Web-Based Genomic Information Integration with Gene Ontology Kai Xu 1 IMAGEN group, National ICT Australia, Sydney, Australia, kai.xu@nicta.com.au Abstract. Despite the dramatic growth of online genomic
More informationNormalization of relations and ontologies
Normalization of relations and ontologies LULE AHMEDI Department of Computer Engineering University of Prishtina Kodra e diellit pn, 10000 Prishtinë REPUBLIC OF KOSOVA lule.ahmedi@fiek.uni-pr.edu EDMOND
More informationRepairing Unsatisfiable Concepts in OWL Ontologies
Repairing Unsatisfiable Concepts in OWL Ontologies Aditya Kalyanpur 1, Bijan Parsia 1, Evren Sirin 1, Bernardo Cuenca-Grau 2 1 MINDLAB, University of Maryland, College Park, USA aditya@cs.umd.edu, bparsia@isr.umd.edu,
More informationOntology quality and fitness: A survey of so6ware support
Ontology quality and fitness: A survey of so6ware support Ontology Summit February 14, 2013 Michael Denny msdenny@mitre.org Survey consideraion: CasIng evaluaion factors as capabiliies At this juncture,
More informationComputational Methods for Database Repair by Signed Formulae
Computational Methods for Database Repair by Signed Formulae Ofer Arieli (oarieli@mta.ac.il) Department of Computer Science, The Academic College of Tel-Aviv, 4 Antokolski street, Tel-Aviv 61161, Israel.
More information72. Ontology Driven Knowledge Discovery Process: a proposal to integrate Ontology Engineering and KDD
72. Ontology Driven Knowledge Discovery Process: a proposal to integrate Ontology Engineering and KDD Paulo Gottgtroy Auckland University of Technology Paulo.gottgtroy@aut.ac.nz Abstract This paper is
More informationSemantically Enhanced Web Personalization Approaches and Techniques
Semantically Enhanced Web Personalization Approaches and Techniques Dario Vuljani, Lidia Rovan, Mirta Baranovi Faculty of Electrical Engineering and Computing, University of Zagreb Unska 3, HR-10000 Zagreb,
More informationSituation Recognition for Service Management Systems Using OWL 2 Reasoners
Situation Recognition for Service Management Systems Using OWL 2 Reasoners Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan, Chair for Automata
More informationA Semantic Dissimilarity Measure for Concept Descriptions in Ontological Knowledge Bases
A Semantic Dissimilarity Measure for Concept Descriptions in Ontological Knowledge Bases Claudia d Amato, Nicola Fanizzi, Floriana Esposito Dipartimento di Informatica, Università degli Studi di Bari Campus
More informationTowards a Software Domain Metric based on Semantic Web Techniques
Towards a Software Domain Metric based on Semantic Web Techniques F. Edgar Castillo-Barrera 1, Héctor G. Pérez-González 1, and S. Masoud Sadjadi 2 1 School of Engineering, Universidad Autónoma de San Luis
More informationExploring Incremental Reasoning Approaches Based on Module Extraction
Exploring Incremental Reasoning Approaches Based on Module Extraction Liudmila Reyes-Alvarez 1, Danny Molina-Morales 1, Yusniel Hidalgo-Delgado 2, María del Mar Roldán-García 3, José F. Aldana-Montes 3
More informationIntegrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM)
Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM) Extended Abstract Ioanna Koffina 1, Giorgos Serfiotis 1, Vassilis Christophides 1, Val Tannen
More informationA Description Logic Primer
A Description Logic Primer arxiv:1201.4089v3 [cs.ai] 3 Jun 2013 Introduction Markus Krötzsch, František Simančík, Ian Horrocks Department of Computer Science, University of Oxford, UK Abstract. This paper
More informationCity Data Pipeline. A System for Making Open Data Useful for Cities. stefan.bischof@tuwien.ac.at
City Data Pipeline A System for Making Open Data Useful for Cities Stefan Bischof 1,2, Axel Polleres 1, and Simon Sperl 1 1 Siemens AG Österreich, Siemensstraße 90, 1211 Vienna, Austria {bischof.stefan,axel.polleres,simon.sperl}@siemens.com
More informationLogic in general. Inference rules and theorem proving
Logical Agents Knowledge-based agents Logic in general Propositional logic Inference rules and theorem proving First order logic Knowledge-based agents Inference engine Knowledge base Domain-independent
More informationTaming Big Data Variety with Semantic Graph Databases. Evren Sirin CTO Complexible
Taming Big Data Variety with Semantic Graph Databases Evren Sirin CTO Complexible About Complexible Semantic Tech leader since 2006 (née Clark & Parsia) software, consulting W3C leadership Offices in DC
More informationFrom Databases to Natural Language: The Unusual Direction
From Databases to Natural Language: The Unusual Direction Yannis Ioannidis Dept. of Informatics & Telecommunications, MaDgIK Lab University of Athens, Hellas (Greece) yannis@di.uoa.gr http://www.di.uoa.gr/
More informationRepresenting the Hierarchy of Industrial Taxonomies in OWL: The gen/tax Approach
Representing the Hierarchy of Industrial Taxonomies in OWL: The gen/tax Approach Martin Hepp Digital Enterprise Research Institute (DERI), University of Innsbruck Florida Gulf Coast University, Fort Myers,
More informationNational Technical University of Athens. Optimizing Query Answering over Expressive Ontological Knowledge
National Technical University of Athens School of Electrical and Computer Engineering Division of Computer Science Optimizing Query Answering over Expressive Ontological Knowledge DOCTOR OF PHILOSOPHY
More informationPattern Based Knowledge Base Enrichment
Pattern Based Knowledge Base Enrichment Lorenz Bühmann, Jens Lehmann Universität Leipzig, Institut für Informatik, AKSW, Postfach 100920, D-04009 Leipzig, Germany, {buehmann lehmann}@informatik.uni-leipzig.de
More informationA Hybrid Approach for Ontology Integration
A Hybrid Approach for Ontology Integration Ahmed Alasoud Volker Haarslev Nematollaah Shiri Concordia University Concordia University Concordia University 1455 De Maisonneuve Blvd. West 1455 De Maisonneuve
More informationData Quality Mining: Employing Classifiers for Assuring consistent Datasets
Data Quality Mining: Employing Classifiers for Assuring consistent Datasets Fabian Grüning Carl von Ossietzky Universität Oldenburg, Germany, fabian.gruening@informatik.uni-oldenburg.de Abstract: Independent
More informationEXPLOITING FOLKSONOMIES AND ONTOLOGIES IN AN E-BUSINESS APPLICATION
EXPLOITING FOLKSONOMIES AND ONTOLOGIES IN AN E-BUSINESS APPLICATION Anna Goy and Diego Magro Dipartimento di Informatica, Università di Torino C. Svizzera, 185, I-10149 Italy ABSTRACT This paper proposes
More informationLogic and Reasoning in the Semantic Web (part I RDF/RDFS)
Logic and Reasoning in the Semantic Web (part I RDF/RDFS) Fulvio Corno, Laura Farinetti Politecnico di Torino Dipartimento di Automatica e Informatica e-lite Research Group http://elite.polito.it Outline
More informationEvaluation experiment of ontology tools interoperability with the WebODE ontology engineering workbench
Evaluation experiment of ontology tools interoperability with the WebODE ontology engineering workbench Óscar Corcho, Asunción Gómez-Pérez, Danilo José Guerrero-Rodríguez, David Pérez-Rey, Alberto Ruiz-Cristina,
More informationONTOLOGY FOR MOBILE PHONE OPERATING SYSTEMS
ONTOLOGY FOR MOBILE PHONE OPERATING SYSTEMS Hasni Neji and Ridha Bouallegue Innov COM Lab, Higher School of Communications of Tunis, Sup Com University of Carthage, Tunis, Tunisia. Email: hasni.neji63@laposte.net;
More informationAn Ontology Based Method to Solve Query Identifier Heterogeneity in Post- Genomic Clinical Trials
ehealth Beyond the Horizon Get IT There S.K. Andersen et al. (Eds.) IOS Press, 2008 2008 Organizing Committee of MIE 2008. All rights reserved. 3 An Ontology Based Method to Solve Query Identifier Heterogeneity
More informationClassification of Fuzzy Data in Database Management System
Classification of Fuzzy Data in Database Management System Deval Popat, Hema Sharda, and David Taniar 2 School of Electrical and Computer Engineering, RMIT University, Melbourne, Australia Phone: +6 3
More informationTowards Semantics-Enabled Distributed Infrastructure for Knowledge Acquisition
Towards Semantics-Enabled Distributed Infrastructure for Knowledge Acquisition Vasant Honavar 1 and Doina Caragea 2 1 Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State
More informationONTOLOGY REASONING WITH LARGE DATA REPOSITORIES
Chapter ONTOLOGY REASONING WITH LARGE DATA REPOSITORIES Stijn Heymans 1, Li Ma 2, Darko Anicic 1, Zhilei Ma 3, Nathalie Steinmetz 1, Yue Pan 2, Jing Mei 2, Achille Fokoue 4, Aditya Kalyanpur 4, Aaron Kershenbaum
More informationModeling the User Interface of Web Applications with UML
Modeling the User Interface of Web Applications with UML Rolf Hennicker,Nora Koch,2 Institute of Computer Science Ludwig-Maximilians-University Munich Oettingenstr. 67 80538 München, Germany {kochn,hennicke}@informatik.uni-muenchen.de
More informationCombining OWL with RCC for Spatioterminological Reasoning on Environmental Data
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data Rolf Grütter and Bettina Bauer-Messmer Swiss Federal Institute WSL, An Institute of the ETH Board, Zürcherstrasse 111, 8903
More informationRewriting Queries for Web Searches That Use Local Expressions
Rewriting Queries for Web Searches That Use Local Expressions Rolf Grütter 1, Iris Helming 1, Simon Speich 1, and Abraham Bernstein 2 1 Swiss Federal Research Institute WSL, Birmensdorf, Switzerland {rolf.gruetter,
More informationDealing with knowledge intensive services in e-government Acase study
Dealing with knowledge intensive services in e-government Acase study Daniela Feldkamp, Knut Hinkelmann, Holger Wache University of Applied Science Northwestern Switzerland, Riggenbachstrasse 16, CH-4600
More informationON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS
PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Mathematical Sciences 2012 1 p. 43 48 ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS I nf or m at i cs L. A. HAYKAZYAN * Chair of Programming and Information
More informationONTOLOGY-BASED APPROACH TO DEVELOPMENT OF ADJUSTABLE KNOWLEDGE INTERNET PORTAL FOR SUPPORT OF RESEARCH ACTIVITIY
ONTOLOGY-BASED APPROACH TO DEVELOPMENT OF ADJUSTABLE KNOWLEDGE INTERNET PORTAL FOR SUPPORT OF RESEARCH ACTIVITIY Yu. A. Zagorulko, O. I. Borovikova, S. V. Bulgakov, E. A. Sidorova 1 A.P.Ershov s Institute
More informationORE - A Tool for Repairing and Enriching Knowledge Bases
ORE - A Tool for Repairing and Enriching Knowledge Bases Jens Lehmann and Lorenz Bühmann AKSW research group, University of Leipzig, Germany, lastname@informatik.uni-leipzig.de Abstract. While the number
More informationBuilding Applications and Tools for OWL Experiences and Suggestions
Building Applications and Tools for OWL Experiences and Suggestions Thorsten Liebig 1, Marko Luther 2, Olaf Noppens 1, Massimo Paolucci 2, Matthias Wagner 2, and Friedrich von Henke 1 1 Dept. of Artificial
More informationExtending Semantic Resolution via Automated Model Building: applications
Extending Semantic Resolution via Automated Model Building: applications Ricardo Caferra Nicolas Peltier LIFIA-IMAG L1F1A-IMAG 46, Avenue Felix Viallet 46, Avenue Felix Viallei 38031 Grenoble Cedex FRANCE
More informationArtificial Intelligence
Artificial Intelligence ICS461 Fall 2010 1 Lecture #12B More Representations Outline Logics Rules Frames Nancy E. Reed nreed@hawaii.edu 2 Representation Agents deal with knowledge (data) Facts (believe
More informationEmbedding Defeasible Argumentation in the Semantic Web: an ontology-based approach
Embedding Defeasible Argumentation in the Semantic Web: an ontology-based approach Sergio Alejandro Gómez 1 Carlos Iván Chesñevar Guillermo Ricardo Simari 1 Laboratorio de Investigación y Desarrollo en
More informationOntology-Based Discovery of Workflow Activity Patterns
Ontology-Based Discovery of Workflow Activity Patterns Diogo R. Ferreira 1, Susana Alves 1, Lucinéia H. Thom 2 1 IST Technical University of Lisbon, Portugal {diogo.ferreira,susana.alves}@ist.utl.pt 2
More informationLog-Linear Description Logics
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Log-Linear Description Logics Mathias Niepert and Jan Noessner and Heiner Stuckenschmidt KR & KM Research Group
More informationPowl A Web Based Platform for Collaborative Semantic Web Development
Powl A Web Based Platform for Collaborative Semantic Web Development Sören Auer University of Leipzig auer@informatik.uni-leipzig.de Abstract: We outline Powl, an opensource, web-based semantic web development
More informationOWL Ontology Translation for the Semantic Web
OWL Ontology Translation for the Semantic Web Luís Mota and Luís Botelho We, the Body and the Mind Research Lab ADETTI/ISCTE Av. das Forças Armadas, 1649-026 Lisboa, Portugal luis.mota@iscte.pt,luis.botelho@we-b-mind.org
More informationI Was Confused: Robust Accountability for Permission Delegation in Cloud Federations
I Was Confused: Robust Accountability for Permission Delegation in Cloud Federations Samane Abdi Insight Centre for Data Analytics Department of Computer Science University College Cork, Ireland Email:
More informationEXPRESSIVE REASONING ABOUT CULTURAL HERITAGE KNOWLEDGE USING WEB ONTOLOGIES
EXPRESSIVE REASONING ABOU CULURAL HERIAGE KNOWLEGE USING WEB ONOLOGIES imitrios A. Koutsomitropoulos and heodore S. Papatheodorou High Performance Information Systems Laboratory, Computer Engineering and
More informationAdditional mechanisms for rewriting on-the-fly SPARQL queries proxy
Additional mechanisms for rewriting on-the-fly SPARQL queries proxy Arthur Vaisse-Lesteven, Bruno Grilhères To cite this version: Arthur Vaisse-Lesteven, Bruno Grilhères. Additional mechanisms for rewriting
More informationFormalization of the CRM: Initial Thoughts
Formalization of the CRM: Initial Thoughts Carlo Meghini Istituto di Scienza e Tecnologie della Informazione Consiglio Nazionale delle Ricerche Pisa CRM SIG Meeting Iraklio, October 1st, 2014 Outline Overture:
More informationA Framework and Architecture for Quality Assessment in Data Integration
A Framework and Architecture for Quality Assessment in Data Integration Jianing Wang March 2012 A Dissertation Submitted to Birkbeck College, University of London in Partial Fulfillment of the Requirements
More informationLayering the Semantic Web: Problems and Directions
First International Semantic Web Conference (ISWC2002), Sardinia, Italy, June 2002. Layering the Semantic Web: Problems and Directions Peter F. Patel-Schneider and Dieter Fensel Bell Labs Research Murray
More informationSecure Semantic Web Service Using SAML
Secure Semantic Web Service Using SAML JOO-YOUNG LEE and KI-YOUNG MOON Information Security Department Electronics and Telecommunications Research Institute 161 Gajeong-dong, Yuseong-gu, Daejeon KOREA
More informationScalable and Efficient Reasoning for Enforcing Role-Based Access Control
Scalable and Efficient Reasoning for Enforcing Role-Based Access Control Tyrone Cadenhead, Murat Kantarcioglu, and Bhavani Thuraisingham Department of Computer Science, The University of Texas at Dallas,
More informationBusiness Intelligence: Recent Experiences in Canada
Business Intelligence: Recent Experiences in Canada Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada : Faculty Fellow of the IBM Center for Advanced Studies 2 Business Intelligence
More informationIntelligent interoperable application for employment exchange system using ontology
1 Webology, Volume 10, Number 2, December, 2013 Home Table of Contents Titles & Subject Index Authors Index Intelligent interoperable application for employment exchange system using ontology Kavidha Ayechetty
More informationKnowledge-based Approach in Information Systems Life Cycle and Information Systems Architecture
5 th Slovakian-Hungarian Joint Symposium on Applied Machine Intelligence and Informatics January 25-26, 2007 Poprad, Slovakia Knowledge-based Approach in Information Systems Life Cycle and Information
More informationRules, RIF and RuleML
Rules, RIF and RuleML Rule Knowledge l Rules generalize facts by making them conditional on other facts (often via chaining through further rules) l Rules generalize taxonomies via multiple premises, n-ary
More informationLecture 18 of 42. Lecture 18 of 42
Knowledge Representation Concluded: KE, CIKM, & Representing Events over Time Discussion: Structure Elicitation, Event Calculus William H. Hsu Department of Computing and Information Sciences, KSU KSOL
More informationSemantic Enhancement for Enterprise Data Management
Semantic Enhancement for Enterprise Data Management Li Ma 1, Xingzhi Sun 1, Feng Cao 1, Chen Wang 1, Xiaoyuan Wang 1, Nick Kanellos 2, Dan Wolfson 2, Yue Pan 1 1 IBM China Research Laboratory ZhongGuanCun
More informationSmartLink: a Web-based editor and search environment for Linked Services
SmartLink: a Web-based editor and search environment for Linked Services Stefan Dietze, Hong Qing Yu, Carlos Pedrinaci, Dong Liu, John Domingue Knowledge Media Institute, The Open University, MK7 6AA,
More informationIncorporating Semantic Discovery into a Ubiquitous Computing Infrastructure
Incorporating Semantic Discovery into a Ubiquitous Computing Infrastructure Robert E. McGrath, Anand Ranganathan, M. Dennis Mickunas, and Roy H. Campbell Department of Computer Science, University or Illinois
More information