Results 21 to 30 of about 130,323 (314)
An ontology for software component matching [PDF]
, 2003 The Web is likely to be a central platform for software development in the future. We investigate how Semantic Web technologies, in particular ontologies, can be utilised to support software component development in a Web environment.
Pahl, Claus
core +2 more sources
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases [PDF]
Logical Methods in Computer ScienceThe necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may ...
Riccardo Zese +2 more
doaj +1 more source
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Artale, A. +3 more
core +2 more sources
An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments
IEEE Access, 2017 Ontologies in real-world applications are typically dynamic entities that are frequently modified when new knowledge needs to be added or when existing knowledge is no longer considered valid. Logical errors inevitably occur when ontologies are modified.
Yu Zhang, Dantong Ouyang, Yuxin Ye
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
Logics for Conceptual Data Modelling: A Review [PDF]
Transactions on Graph Data and KnowledgeInformation modelling for databases and object-oriented information systems avails of conceptual data modelling languages such as EER and UML Class Diagrams.
Fillottrani, Pablo R., Keet, C. Maria
doaj +1 more source
Defining Cognitive Logics by Non-Classical Tableau Rules
Studies in Logic, Grammar and Rhetoric, 2016 In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj +1 more source
Description logics of context [PDF]
, 2016 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J.
Gutierrez Basulto, Victor +1 more
core +2 more sources
Rapid Prototyping of Multi-Functional Battery Energy Storage System Applications
Applied Sciences, 2018 Battery Energy Storage Systems (BESS) are starting to play an important role in today’s power distribution networks. They provide a manifold of services for fulfilling demands and requests from diverse stakeholders, such as distribution system operators,
Claudia Zanabria +3 more
doaj +1 more source
Bisimilarity and refinement for hybrid(ised) logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures.
Alexandre Madeira +2 more
doaj +1 more source