50 Hits in 4.1 sec

Practical ABox Cleaning in DL-Lite (progress report)

Giulia Masotti, Riccardo Rosati, Marco Ruzzi
2011 International Workshop on Description Logics  
In Section 3, we present detailed algorithms for ABox cleaning in DL-Lite A . In Section 4 we present the QuAC system and report on the experiments we are currently conducting with QuAC.  ...  More precisely, we provide the following contributions: (1) We present effective techniques for ABox cleaning in DL-Lite A under IAR and ICAR semantics.  ... 
dblp:conf/dlog/MasottiRR11 fatcat:i7mfe3725vexxmwrspcegx23uy

Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report

Meghyn Bienvenu
2019 International Workshop on Description Logics  
This paper accompanies an invited talk on inconsistency handling in OMQA and presents a concise summary of the research that has been conducted in the area.  ...  Acknowledgements Let me take this opportunity to thank the steering committee and workshop chairs for asking me to be an invited speaker, and while I'm at it, a big thanks to my many co-authors and the DL  ...  practice for ontologies beyond DL-Lite.  ... 
dblp:conf/dlog/Bienvenu19 fatcat:3ui6mbv7fndldgrduhwsc6bnwi

Uniform Evaluation of Nonmonotonic DL-Programs [chapter]

Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
2012 Lecture Notes in Computer Science  
in general.  ...  While this approach is attractive for combining systems, the impedance mismatch between different reasoning engines and the API-style interfacing are an obstacle to efficient evaluation of dl-programs  ...  The index n in our instances denote the number of facts in R n and the ABox assertions in D n and U n ; we report the outcome for runs with n ∈ {10k, 100k, 250k, 500k, 1M}.  ... 
doi:10.1007/978-3-642-28472-4_1 fatcat:4mh6a2dg4bfztpmd2zwsfxx7yi

Semantic Enrichment of GSM-Based Artifact-Centric Models

Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin
2014 Journal on Data Semantics  
We then discuss two scenarios of practical interest R. De Masellis that show how mappings can be used in the presence of multiple systems.  ...  For one of these scenarios we also describe a concrete instantiation of the framework and its application to a real-world use case in the energy domain, investigated in the context of the EU project ACSI  ...  the TBox is expressed in DL-Lite, and the mappings are GAV.  ... 
doi:10.1007/s13740-014-0036-6 fatcat:b4vxac2gdjdxlh6swfjud5y6yu

Metamodeling and metaquerying in OWL2QL

Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
2020 Artificial Intelligence  
This version will undergo additional copyediting, typesetting and review before it is published in its final form, but we are providing this version to give early visibility of the article.  ...  Acknowledgements We thank Riccardo Rosati per fruitful discussions on the complexity lower bounds discussed in this paper.  ...  The OWL 2 QL language [4] , that is based on the Description Logic (DL) DL-Lite R [5] , guarantees that the main reasoning tasks are tractable with respect to the size of the data, that is typically  ... 
doi:10.1016/j.artint.2020.103432 fatcat:onmugzozs5fldl52fzfxpxq6bq

Plan Synthesis in Explicit-Input Knowledge and Action Bases

Michele Stawowy
In this Thesis we study plan synthesis for datacentric domains, where the interest is not only upon the actions the system performs to reach its desired goal, but also on how the knowledge defining the  ...  and translation to ADL for full lightweight DL eKABs.  ...  We report the results in Table 6 .1.  ... 
doi:10.6092/imtlucca/e-theses/208 fatcat:amlkhjntebeq7czxroq3vpqzse

Editors: Nicolas Ollinger and Heribert Vollmer

Carsten Lutz
licensed under Creative Commons License CC-BY 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)   unpublished
overview is given in the DL handbook [6].  ...  DLs come with their own syntax, which involves using logical quantifier symbols in a non-standard way (actually in the same way in which diamonds and boxes are used in modal logic).  ...  First observations on the connection between CSP and CQA have been made in [20, 31] .  ... 

Water utility decision support through the semantic web of things

Shaun Howell, Yacine Rezgui, Thomas Beach
2018 Environmental Modelling & Software  
The web service provides discoverability, context, and meaning for the sensor readings stored in a scalable database.  ...  The solution is grounded in a comprehensive ontology and rule base developed with industry experts. This is instantiated from GIS, sensor, and EPANET data for a Welsh pilot.  ...  The SEMANCO project developed a large smart city ontology in OWL DL-Lite for the purpose of data integration (Nemirovski et al., 2013) , resulting in 592 classes.  ... 
doi:10.1016/j.envsoft.2018.01.006 fatcat:a3qbaira5rdwvppek3tais7kfm

Intelligent Web Interactions

Tsuyoshi Murata, Seiji Yamada
2011 Journal of Emerging Technologies in Web Intelligence  
This paper is based on "Breaking News Detection and Tracking in Twitter" by S. Phuvipadawat and T.  ...  In addition, we extend our thanks to Dr. Diamond Kassum, CMIO, Manitoba eHealth for his continuing support and encouragement as well as Kathryn Marcynuk, Christopher Henry, Amir H.  ...  . • Every legal OWL Lite ontology is a legal OWL DL ontology. • Every legal OWL DL ontology is a legal OWL Full ontology. • Every valid OWL Lite conclusion is a valid OWL DL conclusion. • Every valid OWL  ... 
doi:10.4304/jetwi.3.1.1-2 fatcat:5vipvrl7dbhtbngzlp3c6zxjve

Results of the Ontology Alignment Evaluation Initiative 2012

José-Luis Aguirre, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Willem Robert van Hage, Laura Hollink, Christian Meilicke, Andriy Nikolov, Dominique Ritze, François Scharffe, Pavel Shvaiko, Ondrej Sváb-Zamazal (+4 others)
2012 International Semantic Web Conference  
This paper improves on the "Preliminary results" initially published in the on-site proceedings of the ISWC workshop on Ontology Matching (OM-2012).  ...  We thank Jan Noessner for providing data in the process of constructing the IIMB data set.  ...  We know that they have worked hard for having their matching tools executable in time and they provided insightful papers presenting their experience.  ... 
dblp:conf/semweb/Aguirre0EFHHMNRSSSSJGZ12 fatcat:wfcmwfuqifcevefgxusgp2cjp4

Combining ontologies and statistics for sensor data quality improvement

Nina Solomakhina, Thomas Eiter
The aim of this thesis is to propose a novel approach to address data quality issues in industrial datasets, in particular, measurements of sensors mounted at power generation facilities.  ...  In this work we represent domain knowledge in OWL ontology, which covers the topology of an industrial equipment and an information about measuring devices installed. Providing statistic [...]  ...  In both DL-Lite F and DL-Lite R data values are not considered, and hence attributes are dropped.  ... 
doi:10.34726/hss.2014.23187 fatcat:hj3vmydzl5gfhoc7k7zp45oqlq

Validation of ADOxx metamodels based on semantic technologies

Christos Lekaditis
2014 unpublished
In the same way that the model conforms to its metamodel, a metamodel must conform to its meta-metamodel.  ...  More specifically, a metamodel must always be in compliance with the rules enforced by syntax, and with the semantic constraints defined by semantics.  ...  .  OWL Lite is the sublanguage that stems from a further restriction of OWL DL to a subset of the language constructors.  ... 
doi:10.25365/thesis.33309 fatcat:rbb3lperqrhtxb7a2gjlqhlfnm

A case-based reasoning framework for early detection and diagnosis of novel coronavirus

Olaide N. Oyelade, Absalom E. Ezugwu
2020 Informatics in Medicine Unlocked  
The burden of this highly contagious respiratory disease is that it presents itself in both symptomatic and asymptomatic patterns in those already infected, thereby leading to an exponential rise in the  ...  The approach adopted in this study employs the use of an improved CBR model for state-of-the-art reasoning task in the classification of suspected cases of COVID-19.  ...  Declaration of Interests The authors declare that they have no financial nor personal interests that could have influenced the work reported in this paper.  ... 
doi:10.1016/j.imu.2020.100395 pmid:32835080 pmcid:PMC7377815 fatcat:ev22hazq7vbtfaplcvvouq2dci

Ubiquitous robotics for knowledge-based auto-configuration system within smart home environment

Mustafa Al-Khawaldeh, Ibrahim Al-Naimi, Xi Chen, Philip Moore
2016 2016 7th International Conference on Information and Communication Systems (ICICS)  
ii Dedication To my father, Mr Awwad Al-Khawaldeh and my mother, Mrs Awayed Al-Khawaldeh for their endless love, encouragement, inspiration, support and prayers, which were candles in my life in spite  ...  Their prayers always act as a catalyst in my academic life. I am especially grateful to Nisreen for being a dedicated wife and mother. She was a beacon of hope in troubled times.  ...  : OWL DL and OWL Lite [211] .  ... 
doi:10.1109/iacs.2016.7476100 fatcat:cgw6w665y5cu7jiessgpmw5ita


Antonio Penta
Despite the great efforts in multimedia processing in both the academic and industrial contexts, nowadays representing, organizing and managing multimedia data and the related semantics by means of a formal  ...  Especially in the semantic web field, many papers, several models and language have been proposed in order to define the concept of ontology and to design suitable and efficient systems that really use  ...  For more details, please refer to [18] : The works on tractable description logic (also known as DL-lite) are very interesting.  ... 
doi:10.6092/unina/fedoa/3369 fatcat:6l7zsktooff4zncfkxgmf56cd4
« Previous Showing results 1 — 15 out of 50 results