A Semi-automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database
暂无分享,去创建一个
[1] Heiko Paulheim,et al. Fast Approximate A-Box Consistency Checking Using Machine Learning , 2016, ESWC.
[2] Sadok Ben Yahia,et al. An Ontological Approach to Knowledge Building by Data Integration , 2020, ICCS.
[3] Thomas Fischer,et al. OXDBS: extension of a native XML database system with validation by consistency checking of OWL-DL ontologies , 2010, IDEAS '10.
[4] Theodosia Togia,et al. Constructing large scale biomedical knowledge bases from scratch with rapid annotation of interpretable patterns , 2019, BioNLP@ACL.
[5] José Francisco Aldana Montes,et al. Enhancing semantic consistency in anti-fraud rule-based expert systems , 2017, Expert Syst. Appl..
[6] Lina Zhou,et al. Ontology learning: state of the art and open issues , 2007, Inf. Technol. Manag..
[7] Maurizio Lenzerini,et al. Using Ontologies for Semantic Data Integration , 2018, A Comprehensive Guide Through the Italian Database Research.
[8] Jigui Sun,et al. Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer , 2007, RR.
[9] Dong-Hyuk Im,et al. Semantics-preserving optimisation of mapping multi-column key constraints for RDB to RDF transformation , 2020 .
[10] Shoham Ben-David,et al. Applications of Description Logic and Causality in Model Checking , 2009 .
[11] Juan Sequeda,et al. Integrating Relational Databases with the Semantic Web: A Reflection , 2017, Reasoning Web.
[12] Daniele Nardi,et al. An Introduction to Description Logics , 2003, Description Logic Handbook.
[13] Ian Horrocks,et al. A Basic Description Logic , 2017 .
[14] Gerard O’Regan,et al. Overview of Formal Methods , 2020, Undergraduate Topics in Computer Science.
[15] Daniel Kernberger,et al. Model Checking for the Full Hybrid Computation Tree Logic , 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
[16] Germain Forestier,et al. Algebraic graph transformations for formalizing ontology changes and evolving ontologies , 2015, Knowl. Based Syst..
[17] Wamberto Vasconcelos,et al. Graph-Based Ontology Checking ⁄ , 2005 .
[18] Wassim Jaziri,et al. OWL 2 DL ontology inconsistencies prediction , 2017, WIMS.
[19] Marco Roveri,et al. The nuXmv Symbolic Model Checker , 2014, CAV.
[20] Shoham Ben-David,et al. Model Checking Using Description Logic , 2010, J. Log. Comput..
[21] Ying Zheng,et al. Semi-automatically building ontologies from relational databases , 2010, 2010 3rd International Conference on Computer Science and Information Technology.
[22] Jinzhao Wu,et al. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources , 2014, J. Appl. Math..
[23] Klaus Schneider,et al. Combining supervisor synthesis and model checking , 2005, TECS.
[24] Mieczyslaw M. Kokar,et al. Consistency Checking of Semantic Web Ontologies , 2002, SEMWEB.
[25] Michel A. Reniers,et al. Results on Embeddings Between State-Based and Event-Based Systems , 2014, Comput. J..
[26] Ahmed Guessoum,et al. Ontology learning: Grand tour and challenges , 2021, Comput. Sci. Rev..
[27] Nima Jafari Navimipour,et al. A symbolic model checking approach in formal verification of distributed systems , 2019, Human-centric Computing and Information Sciences.
[28] Thomas A. Henzinger,et al. Introduction to Model Checking , 2018, Handbook of Model Checking.
[29] Sohail Zafar,et al. Fundamental ideas and mathematical basis of ontology learning algorithm , 2018, J. Intell. Fuzzy Syst..
[30] Karlis Cerans,et al. RDB2OWL: a RDB-to-RDF/OWL Mapping Specification Language , 2010, DB&IS.
[31] Agostino Dovier,et al. Applying model-checking to solve queries on semistructured data , 2009, Comput. Lang. Syst. Struct..
[32] Fabio Somenzi,et al. Incremental, Inductive CTL Model Checking , 2012, CAV.
[33] Muhammad Fahad,et al. Detection and resolution of semantic inconsistency and redundancy in an automatic ontology merging system , 2012, Journal of Intelligent Information Systems.
[34] Ana Ozaki,et al. Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? , 2020, KI - Künstliche Intelligenz.
[35] Asunción Gómez-Pérez,et al. Ontology Evaluation , 2004, Handbook on Ontologies.
[36] Riccardo Rosati,et al. Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies , 2012, International Semantic Web Conference.