A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Practical ABox Cleaning in DL-Lite (progress report)
2011
International Workshop on Description Logics
Preserved Fulltext
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
2019
International Workshop on Description Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal on Data Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
licensed under Creative Commons License CC-BY 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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] . ...
fatcat:xpxxf43xpvhffhlkpodyzbnuiy
Water utility decision support through the semantic web of things
2018
Environmental Modelling & Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Emerging Technologies in Web Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Semantic Web Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Informatics in Medicine Unlocked
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 7th International Conference on Information and Communication Systems (ICICS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
MULTIMEDIA KNOWLEDGE REPRESENTATION AND MANAGEMENT USING ONTOLOGIES
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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