Filters








1,290,881 Hits in 4.9 sec

E-Business Interoperability Through Ontology Semantic Mapping [chapter]

Nuno Silva, João Rocha, José Cardoso
2004 Processes and Foundations for Virtual Organizations  
The MAFRA Toolkit is being applied in the European project Harmonise, which aims to provide solutions for (semi-) automatic interoperabiliry between major operators in e-tourism. L. M.  ...  Exploiting the explicit semantic description of the domain of discourse allows reasoning and automatically acquiring semantic relations between two different domains of discourses.  ...  Thanks to Jorge Santos for his opinions and revisions.  ... 
doi:10.1007/978-0-387-35704-1_33 fatcat:jt644stgqfbw5aacbw4itprcxq

Verifying OWL and ORL Ontologies in PVS [chapter]

Jin Song Dong, Yuzhang Feng, Yuan Fang Li
2005 Lecture Notes in Computer Science  
In this paper, we propose to model OWL and ORL language semantics in PVS specification language so that OWL and ORL ontologies can be transformed and verified in the Prototype Verification System (PVS)  ...  PVS user-defined proof strategies are also developed to automate the proof process.  ...  We would also like to thank Hai Wang, who directed our attention to ORL and provided valuable comments on an earlier draft of this paper.  ... 
doi:10.1007/978-3-540-31862-0_20 fatcat:ttnqo4rrejhv3g3qgoroli2uky

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

Andrew Farmer, Neil Sculthorpe, Andy Gill
2015 SIGPLAN notices  
HERMIT is a Haskell-specific toolkit designed to support equational reasoning and user-guided program transformation, and to do so as part of the GHC compilation pipeline.  ...  This paper describes HERMIT's recently developed support for equational reasoning, and presents two case studies of HERMIT usage: checking that type-class laws hold for specific instance declarations,  ...  User-specified transformations are applied to the program being compiled, and the user's equational reasoning steps are checked.  ... 
doi:10.1145/2887747.2804303 fatcat:rpmqvxo3r5a5ffx2fy26d65niq

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

Andrew Farmer, Neil Sculthorpe, Andy Gill
2015 Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015  
HERMIT is a Haskell-specific toolkit designed to support equational reasoning and user-guided program transformation, and to do so as part of the GHC compilation pipeline.  ...  This paper describes HERMIT's recently developed support for equational reasoning, and presents two case studies of HERMIT usage: checking that type-class laws hold for specific instance declarations,  ...  User-specified transformations are applied to the program being compiled, and the user's equational reasoning steps are checked.  ... 
doi:10.1145/2804302.2804303 dblp:conf/haskell/FarmerSG15 fatcat:j4frzfk7qnhfnhbynfltxahs2a

Generating Symbolic Reasoning Problems with Transformer GANs [article]

Jens U. Kreber, Christopher Hahn
2021 arXiv   pre-print
Constructing training data for symbolic reasoning domains is challenging: Existing instances are typically hand-crafted and too few to be trained on directly and synthetically generated instances are often  ...  We study the capabilities of GANs and Wasserstein GANs equipped with Transformer encoders to generate sensible and challenging training data for symbolic reasoning domains.  ...  With V being the vocabulary, and |V | being the size of the vocabulary, an affine transformation to dimensionality |V | and a softmax is applied after the last layer.  ... 
arXiv:2110.10054v1 fatcat:yrn7mdp3s5dlnk7clfxsszep2y

A Formal Model for Attack Mutation Using Dynamic Description Logics [chapter]

Zhuxiao Wang, Jing Guo, Jin Shi, Hui He, Ying Zhang, Hui Peng, Guanhua Tian
2014 IFIP Advances in Information and Communication Technology  
The attack mutation model describes all the possible transformations and how they can be applied to the original attack to generate a large number of attack variations.  ...  We observe that different attack variations can be derived from the original attack using simple transformations.  ...  The base instance is then used to derive another attack instance by repeatedly applying single step transformations.  ... 
doi:10.1007/978-3-662-44980-6_34 fatcat:t46uuaavhrc5lihhyda6kziity

A Decision Model for Transformer Fault Diagnosis and Maintenance Based on Rough Set and Fuzzy Set and Bayesian Optimal Classifier

Hongsheng Su
2006 2006 Chinese Control Conference  
Moreover, probability reasoning may be realized applying Bayesian optimal classifier, it can be used to describe the characteristics of fault information and investigate the fault reasons of transformer  ...  In the end, a practical application in transformer fault diagnosis indicates that the proposed method is very effective and intelligent and ubiquitous.  ...  Bayesian model is applied to large transformer fault diagnosis, and the satisfying diagnostic results are achieved.  ... 
doi:10.1109/chicc.2006.280636 fatcat:tdr3f7g4qbdhvbfap2ttuhrszu

Generation of open biomedical datasets through ontology-driven transformation and integration processes

María del Carmen Legaz-García, José Antonio Miñarro-Giménez, Marcos Menárguez-Tortosa, Jesualdo Tomás Fernández-Breis
2016 Journal of Biomedical Semantics  
Once the mappings are defined, they can be automatically applied to datasets to generate logically consistent content and the mappings can be reused in further transformation processes.  ...  SWIT is able to apply the Linked Open Data principles in the generation of the datasets, so allowing for linking their content to external repositories and creating linked open datasets.  ...  The mapping rules enable to generate OWL content, and the identity rules are applied during the transformation process to limit redundancy and to merge data instances.  ... 
doi:10.1186/s13326-016-0075-z pmid:27255189 pmcid:PMC4891880 fatcat:zbshz4giqnhspfwgiluhwfdcha

Set-based pre-processing for points-to analysis

Yannis Smaragdakis, George Balatsouras, George Kastrinis
2013 Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13  
Set-based pre-analysis relies on the observation that much of this reasoning can take place at the set level rather than the value level.  ...  Compared to other techniques for off-line optimization of points-to analyses in the literature, the new elements of our approach are the ability to eliminate statements, and not just variables, as well  ...  How Transformations Are Applied Set-based pre-analysis separates set-based (abstract) from value-based (concrete) reasoning in points-to analysis.  ... 
doi:10.1145/2509136.2509524 dblp:conf/oopsla/SmaragdakisBK13 fatcat:xnythvgk25d4jlflofumozhyy4

Synthetic Environment Representational Semantics Using the Web Ontology Language [chapter]

Mehul Bhatt, Wenny Rahayu, Gerald Sterling
2005 Lecture Notes in Computer Science  
In this paper, we present STOWL -SEDRIS To OWL Transform that automates the transformation of a SEDRIS based SE to a Web-Ontology based representation scheme in the OWL language.  ...  industry based SE representation standards, namely SEDRIS, and that the representation scheme facilitates ontological reasoning over SE objects; a facility that is not directly supported by the SEDRIS  ...  (c) Most importantly and in line with our envisaged application, existing OWL based reasoners may be applied so as to perform ontological reasoning in the SE domain.  ... 
doi:10.1007/11508069_2 fatcat:o5aw3h37mfdfdjdlumgnvu66am

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization [chapter]

Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
2012 Lecture Notes in Computer Science  
instance, no matter in which order the rules are applied.  ...  We apply the concept of critical pair analysis from graph transformation theory, supported by the AGG software tool.  ...  We thank Jiong Guo (Universität des Saarlandes) for pointing to an NP-hardness proof for Partial Clique Cover already for k ≥ 3 covering cliques (see Section 4).  ... 
doi:10.1007/978-3-642-30870-3_19 fatcat:ev2or6yig5bmfm2gs35tilhpde

A combined approach to checking web ontologies

J. S. Dong, C. H. Lee, H. B. Lee, Y. F. Li, H. Wang
2004 Proceedings of the 13th conference on World Wide Web - WWW '04  
Ontology reasoners such as RACER and FaCT have been developed to reason ontologies with a high degree of automation.  ...  We have successfully applied this approach to checking a set of military plan ontologies.  ...  The authors wish to thank Chan Kum Lan, Chew Lock Pin and How Khee Yin for their collaboration and support. We are also grateful to anonymous referees for their valuable comments.  ... 
doi:10.1145/988672.988770 dblp:conf/www/DongLLLW04 fatcat:fnon3lh7frakbkwvel55xmyz5m

Transforming multidimensional models into OWL-DL ontologies

Nicolas Prat, Jacky Akoka, Isabelle Comyn-Wattiau
2012 2012 Sixth International Conference on Research Challenges in Information Science (RCIS)  
The transformation rules are refined to deal with spatiotemporal data warehouses, applied step by step, and the resulting ontology is implemented in the Protégé ontology tool.  ...  The ontology may also be used to represent OLAP cubes on the semantic Web (with RDF), by defining these cubes as instances of the OWL-DL multidimensional ontology.  ...  ACKNOWLEDGMENT The authors wish to thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1109/rcis.2012.6240451 dblp:conf/rcis/PratAC12 fatcat:ydutk2ef3jcxjilkqs6qoq7moi

A platform for exploration into chaining of web services for clinical data transformation and reasoning

José Alberto Maldonado, Mar Marcos, Jesualdo Tomás Fernández-Breis, Estíbaliz Parcero, Diego Boscá, María Del Carmen Legaz-García, Begoña Martínez-Salvador, Montserrat Robles
2017 AMIA Annual Symposium Proceedings  
In this paper we describe a proof-of-concept platform to facilitate the (re)configuration of such clinical data transformation applications.  ...  The platform is built upon a number of web services dealing with transformations at different levels (such as normalization or abstraction), and relies on a collection of reusable mappings designed to  ...  This implies that all possible generated instances must be transformed so that further transformation steps are applied to each one of them.  ... 
pmid:28269882 pmcid:PMC5333274 fatcat:lhab2wqljrcmpavbqxdxbr44cm

An Investigation of Transformation-Based Learning in Discourse [article]

Ken Samuel, Sandra Carberry, and K. Vijay-Shanker (Department of Computer and Information Sciences, University of Delaware)
1998 arXiv   pre-print
This paper presents results from the first attempt to apply Transformation-Based Learning to a discourse-level Natural Language Processing task.  ...  To address two limitations of the standard algorithm, we developed a Monte Carlo version of Transformation-Based Learning to make the method tractable for a wider range of problems without degradation  ...  with the opportunity to work with them and generously granting him access to the VerbMobil corpora.  ... 
arXiv:cmp-lg/9806007v1 fatcat:p4krwr3sgna4pinymq6vrou2hm
« Previous Showing results 1 — 15 out of 1,290,881 results