13,483 Hits in 5.3 sec

Providing an Uncertainty Reasoning Service for Semantic Web Application [chapter]

Lei Li, Qiaoling Liu, Yunfeng Tao, Lei Zhang, Jian Zhou, Yong Yu
2006 Lecture Notes in Computer Science  
In order to provide an uncertainty reasoning service for semantic web applications, we propose a probabilistic extension of Description Logic, namely Probabilistic Description Logic Program (PDLP).  ...  In this paper, we introduce the syntax and intensional semantics of PDLP, and present a fast reasoning algorithm making use of Logic Programming techniques.  ...  To resolve this incompatibility, we propose PDLP to tightly combine description logic with probability and provide a powerful semantics semantic web context.  ... 
doi:10.1007/11610113_55 fatcat:io76s6ll4faivl5ooo2smkh6vy

Data and Analysis Preservation, Recasting, and Reinterpretation [article]

Stephen Bailey, Christian Bierlich, Andy Buckley, Jon Butterworth, Kyle Cranmer, Matthew Feickert, Lukas Heinrich, Axel Huebl, Sabine Kraml, Anders Kvellestad, Clemens Lange, Andre Lessa (+6 others)
2022 arXiv   pre-print
We make the case for the systematic, reliable preservation of event-wise data, derived data products, and executable analysis code.  ...  We cover the needs of both the experimental and theoretical particle physics communities, and outline the goals and benefits that are uniquely enabled by analysis recasting and reinterpretation.  ...  The benefits extend beyond improving and extending searches for new physics, and also allow models, including new precision Standard Model calculations, to be tested in new physics regimes.  ... 
arXiv:2203.10057v1 fatcat:nikffpkakjevva5dfdjfeukf7q

Querying Rich Ontologies by Exploiting the Structure of Data

Labinot Bajraktari
2020 Künstliche Intelligenz  
However, there exists a disparity in research carried for OMQ algorithms for lightweight DLs which have found their way into practical implementations, and algorithms for expressive DLs for which the work  ...  In the dissertation, a technique that leverages the structural properties of data to help alleviate the problems that typically arise when answering the queries in expressive settings is developed.  ...  from the copyright holder.  ... 
doi:10.1007/s13218-020-00672-9 dblp:journals/ki/Bajraktari20 fatcat:jnntlocoojaenm4xxk4ym7w74u

The RacerPro knowledge representation and reasoning system

Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
2012 Semantic Web Journal  
Based on new optimization techniques and techniques that have been developed in the research field of description logics throughout the years, a mature architecture for typical-case reasoning tasks is  ...  The backbone of RacerPro is a description logic reasoner. It provides inference services for terminological knowledge as well as for representations of knowledge about individuals.  ...  RacerPro uses the Wilbur Semantic Web Toolkit [53] for XML and RDF processing. Rac-erPorter is built with Lispworks Common Lisp.  ... 
doi:10.3233/sw-2011-0032 fatcat:3o5x3ragfjaubk6vyjuf3qariu

Ontologies and Data Management: A Brief Survey

Thomas Schneider, Mantas Šimkus
2020 Künstliche Intelligenz  
This survey gives an overview of research work on the use of ontologies for accessing incomplete and/or heterogeneous data.  ...  In order to align and complete data, systems may rely on taxonomies and background knowledge that are provided in the form of an ontology.  ...  original author(s) and the source,  ... 
doi:10.1007/s13218-020-00686-3 pmid:32999532 pmcid:PMC7497697 fatcat:zeskjfjrpvcojjh6q3yjzhlyci

Reasoning and Verification: State of the Art and Current Trends

2014 IEEE Intelligent Systems  
In this article, the authors give an overview of toolbased verification of hardware and software systems and discuss the relation between verification and logical reasoning. reiner Hähnle is a professor  ...  Acknowledgment We thank the anonymous reviewers for their careful reading of this article and numerous valuable suggestions for improvement.  ...  As we show later, it's fruitful to combine both approaches.  ... 
doi:10.1109/mis.2014.3 fatcat:dm3azbzibvhx7n7sgkrbdmufsa

Nokia SCE — An Architecture for a Lightweight SCE [chapter]

Mikko Kolehmainen
1997 Intelligent Networks and Intelligence in Networks  
The core features of the architecture include a method to define service logic programs for several Service Control Point (SCP) platforms, a strong support for SIB based service creation approach, a possibility  ...  This paper describes the architecture of a lightweight Service Creation Environment (SCE) that is developed at Nokia Research Center.  ...  On the other hand object database is a promising approach for implementing run-time datastore for service logic programs at least in the SCE itself.  ... 
doi:10.1007/978-0-387-35066-0_10 fatcat:fff6pakttfcxln6tvxjgnnsco4

Reasoning and Query Answering in Description Logics [chapter]

Magdalena Ortiz, Mantas Šimkus
2012 Lecture Notes in Computer Science  
Introduction to DLs 2.5 Lightweight and Horn DLs Beyond LogSpace It is well known that, essentially, adding any other DL construct to DL-Lite increases the data complexity beyond logarithmic space  ...  Introduction to DLs 2.5 Lightweight and Horn DLs Combined vs.  ...  on the data Hence, the rewriting approach (into FOL queries) can only work for DLs whose data complexity is in AC 0 That is, we can only use it for the DL-Lite family The combined approach (Lutz et al  ... 
doi:10.1007/978-3-642-33158-9_1 fatcat:fzifcfpzwndgrng6jfjeldipxe

A Novel Approach to Multimedia Ontology Engineering for Automated Reasoning over Audiovisual LOD Datasets [chapter]

Leslie F. Sikos
2016 Lecture Notes in Computer Science  
In contrast to the common practice, the formal grounding has been set in one of the most expressive description logics, and the ontology validated with industry-leading reasoners, namely HermiT and FaCT  ...  In fact, most multimedia ontologies do not have a role box at all, and implement only a basic subset of the available logical constructors.  ...  Formalism with Description Logics The majority of web ontologies written in the Web Ontology Language (OWL) are implementations of a description logic [14] .  ... 
doi:10.1007/978-3-662-49381-6_1 fatcat:rfmxsqxmnzajpadsatkdm6ygse

Scalable and expressive medical terminologies

E Mays, R Weida, R Dionne, M Laker, B White, C Liang, F J Oles
1996 Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium  
The K-Rep system, based on description logic, is used to represent and reason with large and expressive controlled medical terminologies.  ...  Expressive concept descriptions incorporate semantically precise definitions composed using logical operators, together with important non-semantic information such as synonyms and codes.  ...  These various aspects of the definition are combined via logical conjunction.  ... 
pmid:8947668 pmcid:PMC2233032 fatcat:jewjy3e46fffrk7txb7spx2m7e

Lightweight inference for automation efficiency

V Berzins
2002 Science of Computer Programming  
We outline the types of automation that would be enabled by e ective lightweight inference capabilities and survey some promising approaches to realizing the needed capabilities.  ...  We explore the role of lightweight inference techniques in creating highly automated engineering support environments for the development of computer-based systems.  ...  Applications include ÿnding all program statements that can a ect the truth of an invariant, identifying unreachable code, factoring unstructured descriptions into logically cohesive modules, and many  ... 
doi:10.1016/s0167-6423(01)00031-4 fatcat:jcppnkuhenfgxcrgiw3asombi4

IRC: Cross-layer design exploration of Intermittent Robust Computation units for IoTs [article]

Arman Roohi, Ronald F DeMara
2019 arXiv   pre-print
The device will then be used to realize SHE-MTJ Majority/Polymorphic Gate (MG/PG) logic approaches and libraries.  ...  The foundations of IRC will be advanced from the device-level upwards, by extending a Spin Hall Effect Magnetic Tunnel Junction (SHE-MTJ) device.  ...  CONCLUSION AND FUTURE WORK In this project, the primary NV-clustering methodology was extended to realize the targeted insertion of 40-35kT SHE-MTJ devices within the combinational logic, enabling gate-level  ... 
arXiv:1904.10564v1 fatcat:jel6q4prhbgalc2helludtjkre

A Non-Standard Approach for the OWL Ontologies Checking and Reasoning

Yingjie Song, Rong Chen, Yaqing Liu
2012 Journal of Computers  
The Semantic Web is the extension of the World Wide Web that enables people to share content beyond the boundaries of applications and websites.  ...  In this paper, we propose a new algorithm combined with the software engineering techniques, such as Alloy modeling language and its reasoner Alloy Analyzer to provide checking and reasoning service for  ...  It investigated the complexity of combined reasoning with description logics and concrete domains, and extended ALL (D), which is the basic description logic for reasoning with concrete domain, by the  ... 
doi:10.4304/jcp.7.10.2454-2461 fatcat:7uj5gqxtlzd75ma7rvri7lst3u

e-Science and the Semantic Web: A Symbiotic Relationship [chapter]

Carole Goble, Oscar Corcho, Pinar Alper, David De Roure
2006 Lecture Notes in Computer Science  
We identify the benefits of lightweight and heavyweight approaches, based on our experiences in the Life Sciences.  ...  It is about harvesting and harnessing the "collective intelligence" of the scientific community.  ...  Acknowledgements The authors express their thanks to their many colleagues in the e-Science programme and beyond.  ... 
doi:10.1007/11893318_1 fatcat:c65dar7f3vdwdco5zpmqy2d5me

e-Science and the Semantic Web: A Symbiotic Relationship [chapter]

Carole Goble, Oscar Corcho, Pinar Alper, David De Roure
2006 Lecture Notes in Computer Science  
We identify the benefits of lightweight and heavyweight approaches, based on our experiences in the Life Sciences.  ...  It is about harvesting and harnessing the "collective intelligence" of the scientific community.  ...  Acknowledgements The authors express their thanks to their many colleagues in the e-Science programme and beyond.  ... 
doi:10.1007/11894841_3 fatcat:6aavv7okzba2vblbh5g6gp5z6y
« Previous Showing results 1 — 15 out of 13,483 results