2,488 Hits in 4.9 sec

Evolution of Ontologies using ASP

Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou, Marc Herbstritt
2011 International Conference on Logic Programming  
Addressing the evolution of ontologies in the presence of ontological constraints imposes extra difficulties, because it forces us to respect the associated constraints during evolution.  ...  RDF/S ontologies are often used in e-science to express domain knowledge regarding the respective field of investigation (e.g., cultural informatics, bioinformatics etc).  ...  The objective of the present work is to recast the problem of ontology evolution with constraints in terms of ASP rules, and use an efficient grounder and ASP solver to provide a modular and flexible solution  ... 
doi:10.4230/lipics.iclp.2011.16 dblp:conf/iclp/OstrowskiFSA11 fatcat:kftdagpncjalvcntfxixnfocia

OntoDLV: An ASP-based System for Enterprise Ontologies

F. Ricca, L. Gallucci, R. Schindlauer, T. Dell'Armi, G. Grasso, N. Leone
2008 Journal of Logic and Computation  
often are the evolution of relational databases, where both CWA and UNA are adopted.  ...  Semantic peculiarities of ASP, like the Closed World Assumption (CWA) and the Unique Name Assumption (UNA), are more appropriate than OWL assumptions for enterprise ontologies, also because these ontologies  ...  It is worthwhile noting that enterprise ontologies often are the evolution of relational databases, where both CWA and UNA are mandatory.  ... 
doi:10.1093/logcom/exn042 fatcat:ti67nxb5yvgj3igztqghixodde

Mapping Data to Ontologies with Exceptions Using Answer Set Programming [article]

Daniel P. Lupp, Evgenij Thorstensen
2016 arXiv   pre-print
Furthermore, we show that for ontologies with UCQ-rewritable queries there exists a natural reduction from mapping programs to \exists-ASP, an extension of ASP with existential variables that itself admits  ...  We show that this type of mappings can be used to express constraints and exceptions, as well as being a powerful mechanism for succinctly representing OBDA mappings.  ...  A common class of ontology languages used in OBDA is the DL-lite family.  ... 
arXiv:1607.02018v1 fatcat:qod4xba4nrf3tiencb262566rm

On the notion of dialectics in the linguistic bodies theory

Nara M. Figueiredo
2021 Filosofia Unisinos  
Subsequently, it discusses the ontological aspect and the dialectical model and, based on the enactivist linguistic notions of concreteness and abstraction, suggests that it can be conceived as a two-fold  ...  , Epistemology, Ontology.  ...  Thus, we have the methodological and epistemological asp ects of dialectics. Let us now address the question of ontology.  ... 
doi:10.4013/fsu.2021.221.13 fatcat:zyscopkupfayzg5eaicwwchecm

Hierarchical classification of hydrolases catalytic sites

I. A. Gariev, S. D. Varfolomeev
2006 Bioinformatics  
Universal ontology of catalytic sites is required to systematize enzyme catalytic sites, their evolution, as well as relations between catalytic sites and protein families, organisms and chemical reactions  ...  The Web-accessible database provides information on the catalytic sites, protein folds, EC numbers and source organisms of the enzymes and includes software allowing for analysis and visualization of the  ...  Alexander Nemukhin for the valuable discussion of the manuscript.  ... 
doi:10.1093/bioinformatics/btl413 pmid:16877756 fatcat:jcc5pkh6p5flfjrhnkjoaskoym

LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming [chapter]

Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham
2006 Lecture Notes in Computer Science  
In this paper we present a deductive reasoning multi-agent platform using an extension of answer set programming (ASP).  ...  For the implementation of our system we combine the extensibility of the JADE framework with the efficiency of the OCT front-end to the Smodels answer set solver.  ...  Using ASP, it would be possible to use the same language for all components, avoiding duplication of domain description and knowledge.  ... 
doi:10.1007/11691792_5 fatcat:wxn5uex6s5gzvgxj2g4gmmu4ue

Ontological model for the acoustic management in a smart environment

Gabriela Santiago, Jose Aguilar
2022 Applied Computing and Informatics  
This work details an extension of the ReM-AM using the ontology-driven architecture (ODA) paradigm for acoustic management.Design/methodology/approach This work details an extension of the ReM-AM using  ...  In this paper are defined the different domains of knowledge required for the management of the sounds in SEs, which are modeled using ontologies.Findings This work proposes an acoustics and sound ontology  ...  Particularly, NeOn has been created for building ontology networks by reusing resources, using alignments and considering the evolution of the ontologies [20] .  ... 
doi:10.1108/aci-09-2021-0246 fatcat:bt752zmi4rdofm4okkryfscno4

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

2018 Theory and Practice of Logic Programming  
This paper illustrates how Phylotastic has addressed the challenges of creating and refining phylogenetic analysis workflows using logic programming technology and how such solutions have been used within  ...  Along with the need to integrate preferences and formal ontologies in the description of the desired workflow, evolutionary biologists tend to construct workflows in an incremental manner, by successively  ...  phylogenies include the study of evolution of languages).  ... 
doi:10.1017/s1471068418000236 fatcat:jer6pjr45nbe7iwm7eq4rno4mq

Open standard, open source and peer-to-peer tools and methods for collaborative product development

Hayder Aziz, James Gao, Paul Maropoulos, Wai M. Cheung
2005 Computers in industry (Print)  
Shortcomings of centralised architectures are highlighted and a solution using a de-centralised architecture proposed.  ...  Ontologies, rules and workflows are reusable and extendable.  ...  The ASPs generally use software very similar to the PLM solutions like Enovia and Windchill.  ... 
doi:10.1016/j.compind.2004.12.002 fatcat:r7gizqakbfbyjomenukhspnw7e

Improving Data Management using Domain Knowledge

Magdalena Ortiz
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
In particular, we use ontologies to model and reason about constraints on datasets, effects of operations that modify data, and the integrity of the data as it evolves.  ...  The second direction we discuss proposes to use ontologies to manage evolving data.  ...  We showed that a large class of CKBs with ALCH ontologies can be translated into a plain ASP program, and thus inference can be realized using existing ASP solvers.  ... 
doi:10.24963/ijcai.2018/814 dblp:conf/ijcai/Ortiz18 fatcat:mlvcs354sbhz3ku5okazsydwoy


P. Drap, O. Papini, E. Pruno, M. Nucciotti, G. Vannini
2017 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
<br><br> We propose a common formalism for describing photogrammetrical survey and archaeological knowledge stemming from ontologies: Indeed, ontologies are fully used to model and store 3D data and archaeological  ...  Harris theory of "Stratigraphic Unit" ("US" from now on).  ...  point of its evolution.  ... 
doi:10.5194/isprs-archives-xlii-2-w3-267-2017 fatcat:vkjg3dblfbhr5nw23z2ijfs2ta

Inference reasoning on fishers' knowledge using Bayesian causal maps

Louis Bonneau de Beaufort, Karima Sedki, Guy Fontenelle
2015 Ecological Informatics  
From the different views of a group of shellfish dredgers about their activity, we derive a decision facilitating tool, enabling scenarios testing for fisheries management. qualitative modelling, cognitive  ...  Bayesian networks are widely used for decision making processes that face uncertain information or diagnosis. But they are difficult to elicitate.  ...  The proposed tree structure enables us to follow the evolution of shellfish stocks from an initial state to a final state.  ... 
doi:10.1016/j.ecoinf.2015.09.006 fatcat:2erleyeg65ft7p4skearzyq73a

An Open Distributed Architecture for Flexible Hybrid Assembly Systems: A Model Driven Engineering Approach [article]

Kleanthis Thramboulidis
2014 arXiv   pre-print
Models are used to represent structure and behavior and a domain specific engineering tool is defined to facilitate the assembly system engineer in the engineering process of the assembly system.  ...  Assembly systems constitute one of the most important fields in today industry.  ...  maintenance, operation, refinement, evolution, etc., all those benefits that emanate from the use of Cyber Physical concepts.  ... 
arXiv:1411.1307v1 fatcat:hcn3dhjnmvdntbra22cat5htf4

Trust Network Modeling for Virtual Enterprise Cloud Manufacturing

Tiejun Pan, Leina Zheng
2012 International Journal of Digital Content Technology and its Applications  
Third, the path length and clustering coefficient are used to describe the state changes of the network structure, and Markov-Monte Carlo selection method is used for the topology analysis on the evolution  ...  Then, key path algorithm is used to build the trust network, and choose the best cluster ontology using aggregation factor.  ...  Acknowledgement The authors wish to thank the Ningbo Innovation and Entrepreneurship Fund (2011C91027), the Ministry of Education Humanities and Social Sciences Fund (11YJC790141), Ningbo Soft  ... 
doi:10.4156/jdcta.vol6.issue5.14 fatcat:qdt6tiwl6fcwtdfhqrn2w4yol4

WASPSS: A Clinical Decision Support System for Antimicrobial Stewardship [chapter]

Bernardo Cánovas Segura, Antonio Morales, Jose M. Juarez, Manuel Campos, Francisco Palacios
2020 Advances in Intelligent and Personalized Clinical Decision Support Systems [Working Title]  
All these functionalities are provided through a multiuser web interface, personalized for each role of the ASP team.  ...  The creation of multidisciplinary teams dedicated to the implementation of antimicrobial stewardship programmes (ASPs) is encouraged by all clinical institutions to cope with this problem.  ...  Acknowledgements This work was partially funded by the SITSUS project (Ref: RTI2018-094832-B-I00), given by the Spanish Ministry of Science, Innovation and Universities (MCIU), the Spanish Agency for Research  ... 
doi:10.5772/intechopen.91648 fatcat:okxqjtis2jd2lj64aswtui4jsq
« Previous Showing results 1 — 15 out of 2,488 results