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.
Filters
E-Business Interoperability Through Ontology Semantic Mapping
[chapter]
2004
Processes and Foundations for Virtual Organizations
Preserved Fulltext
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]
2005
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 2008; you can also visit the original URL.
The file type is application/pdf.
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
2015
SIGPLAN notices
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.
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
2015
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015
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.
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]
2021
arXiv
pre-print
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 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2014
IFIP Advances in Information and Communication Technology
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 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
2006
2006 Chinese Control 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 2016; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Biomedical 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.
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
2013
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13
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 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2005
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 2008; you can also visit the original URL.
The file type is application/pdf.
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]
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 2012; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings of the 13th conference on World Wide Web - WWW '04
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.
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
2012
2012 Sixth International Conference on Research Challenges in Information Science (RCIS)
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2017
AMIA Annual Symposium Proceedings
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 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]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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