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.
Filters
A Bilingual Ontology Mapping and Enrichment Method for Domain Ontologies in E-learning
2019
International Journal of Computational Linguistics Research
Preserved Fulltext
English language is accepted as international language for publishing research in e-learning and Semantic Web area, but people are needed from representing data and knowledge in his native language. ...
Our approach combines syntactical, structural and semantic mapping. It also can reuse existing mappings and use learner's or expert's feedback to improve mapping. ...
For example, if we establish mapping between classes, named "case" and "case statement" in two ontologies, we can add "case statement" as a synonymy label in the first ontology, "case" as a synonymy label ...
doi:10.6025/jcl/2020/11/1/1-11
fatcat:swbu3cvqwjbgffkyb4lvgeapaa
Facilitating the construction of specification pattern-based properties
2005
13th IEEE International Conference on Requirements Engineering (RE'05)
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 2006; you can also visit the original URL.
The file type is application/pdf.
Feedback indicates that these patterns are considered helpful, but many practitioners prefer capturing properties using informal notations, such as natural language, instead of formal specification languages ...
Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely used in industrial software development practices. ...
As such, our grammar can support multiple target languages because a specification pattern system may include mappings to multiple formal specification languages. ...
doi:10.1109/re.2005.29
dblp:conf/re/KonradC05
fatcat:2jfyldqq3bg6bg6scanaslkco4
Diagram Definition: A Case Study with the UML Class Diagram
[chapter]
2011
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 2015; you can also visit the original URL.
The file type is application/pdf.
Specifically, we define the interchange syntax with a MOF-based metamodel and the graphical syntax with a QVT mapping to a graphics metamodel. ...
The abstract syntax of a graphical modeling language is typically defined with a metamodel while its concrete syntax (diagram) is informally defined with text and figures. ...
This forces language-specific syntax rules (called nesting rules) and constraints to be provided informally. It also forces language-specific properties to be added through a key-value string map. ...
doi:10.1007/978-3-642-24485-8_26
fatcat:akibp5em25ha3bjuezdxpnw5e4
Semantic Matching of Engineering Data Structures
[chapter]
2016
Semantic Web Technologies for Intelligent Engineering Applications
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.
We first discuss what types of relations typically occur between engineering objects in multi-disciplinary engineering environments taking a use case in the power plant engineering domain as a running ...
We then overview available technologies for mappings definition between ontologies, focusing on those currently most widely used in practice and briefly discuss their capabilities for mapping representation ...
As in the presented use case ontology mapping is used for data transformation, we will use it as default application for the sake of coherence across the chapter. ...
doi:10.1007/978-3-319-41490-4_6
fatcat:u2mvnzycfzfarb3sijvptpgmsa
An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications
2016
International Journal of Information and Electronics Engineering
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.
Abstract test cases are generated from these two formal specification languages. ...
An example web application, a Hospital Management System is used to illustrate our approach. ...
Abstract test cases can be generated by formulating a temporal logic specification as a trap property to be verified. Trap property is the negation of the original temporal logic specification. ...
doi:10.18178/ijiee.2016.6.3.617
fatcat:pqlzjjygdzfr3ep3uagwqlcpwi
Mind the Cultural Gap: Bridging Language-Specific DBpedia Chapters for Question Answering
[chapter]
2014
Towards the Multilingual Semantic Web
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.
An alignment between properties is also carried out by DBpedia contributors as a mapping from the terms in Wikipedia to a common ontology, enabling the exploitation of information coming from language ...
query language specific DBpedia chapters relying on the above mentioned property alignment. ...
As a case study to analyze the current state of affairs of property alignment in language specific DBpedia chapters, we consider the datasets of English and French DBpedia. ...
doi:10.1007/978-3-662-43585-4_9
fatcat:ettfisn7hre5rfxqa5untxa6ei
CloudMPL: A Domain Specific Language for Describing Management Policies for an Autonomic Cloud Infrastructure
2015
Proceedings of the 5th International Conference on Cloud Computing and Services 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 2020; you can also visit the original URL.
The file type is application/pdf.
We demonstrate the use of the CloudMPL language into a running example extracted from a management energy consumption case study. ...
In addition, using a declarative language for writing the specifications is expected to make the authoring of rules easier. ...
Domain Specific Languages DSLs Domain-specific languages (DSLs) are languages which are designed to be used in a specific application domain. ...
doi:10.5220/0005446004510462
dblp:conf/closer/AlansariABB15
fatcat:ts5pdjjtwzh2rhm4nfdmg25kye
Engineering model transformations with transML
2011
Journal of Software and Systems Modeling
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.
The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. ...
Key words Model Driven Engineering -Model Transformation -Domain-Specific Languages Introduction Model-Driven Engineering (MDE) relies on models to conduct the software development process. ...
We thank the referees for their useful comments. ...
doi:10.1007/s10270-011-0211-2
fatcat:3vygx652anen7eqmpofzkpcru4
Roadmap for a Multilingual BioPortal
2015
Extended Semantic Web 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 2022; you can also visit the original URL.
The file type is application/pdf.
While encouraging the community to use the best available specifications to represent multilingual content e.g., Lemon; our objective is to handle multilingualism in a proper semantically rich and consistent ...
We propose a set of representations to support multilingualism in the portal and to enable a complete use of the functionalities and services for any kind of ontologies and data. ...
Acknowledgements This work was supported in part by the French National Research Agency under JCJC program, grant ANR-12-JS02-01001, as well as by University of Montpellier, CNRS and the Computational ...
dblp:conf/esws/JonquetEM15
fatcat:tdxmgym7prhl3doixausf55zqu
Domain-Specific Modelling for Human–Computer Interaction
[chapter]
2017
Human–Computer Interaction Series
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.
Domain-Specific Modelling (DSM) [12] in particular makes it possible to specify these models in a Domain-Specific Modelling Language (DSML), using concepts and notations of a specific domain. ...
Developing complex, reactive, often real-time, software-intensive systems using a traditional, code-centric approach, is not an easy feat: knowledge is required from both the problem domain (e.g., power ...
This work was partly funded by a PhD fellowship from the Research Foundation -Flanders (FWO) and the Agency for Innovation by Science and Technology in Flanders (IWT). ...
doi:10.1007/978-3-319-51838-1_16
fatcat:rgnd6owc4nazfj6apbsn6kgjee
A DSL for Mapping Abstract Syntax Models to Concrete Syntax Models in ModelCC
[article]
2013
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.
and a domain-specific language for defining ASM-CSM mappings. ...
Using a domain-specific language to specify the mapping from abstract to concrete syntax models allows the definition of multiple concrete syntax models for the same abstract syntax model. ...
In this case, separators in lists are specified using property-like constraint definitions, which may seem more intuitive to some language designers. ...
arXiv:1301.4858v1
fatcat:wkgbkdcz6ba6nfm4gdngrlvfpq
Guidance, Please! Towards a Framework for RDF-Based Constraint Languages
2015
International Conference on Dublin Core and Metadata Applications
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.
To support the work, a comprehensive, community-driven database has been created where case studies, use cases, requirements and solutions are collected. ...
Regarding the implementation of constraint languages, we have already proposed to use highlevel languages to describe the constraints, but map them to SPARQL queries in order to execute the actual validation ...
We have demonstrated how the framework can be used to map a constraint language to RDF-CV and also how to map back from RDF-CV to the constraint language. ...
dblp:conf/dc/Bosch015
fatcat:q2ninyiqwbe75gvnmmx3wfztqa
Translation of Heterogeneous Databases into RDF, and Application to the Construction of a SKOS Taxonomical Reference
[chapter]
2016
Lecture Notes in Business Information Processing
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.
We also describe a real-world use case in which we applied xR2RML to build a SKOS thesaurus aimed at supporting studies on History of Zoology, Archaeozoology and Conservation Biology. ...
free from any specific language. ...
a real-world use case. ...
doi:10.1007/978-3-319-30996-5_14
fatcat:4qvcwoicgvhivpeqt32z73mp4i
Engineering ontology-based access to real-world data sources
2015
Journal of Web 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.
The preparation of existing real-world datasets for publication as high-quality semantic web data is a complex task that requires the concerted execution of a variety of processing steps using a range ...
collection of mappings. ...
Thanks to the Norwegian Petroleum Directorate (NPD) for making the data of the NPD FactPages available as open data, to Øyvind Hammer at the Natural History Museum in Oslo for giving us access to the NORLEX ...
doi:10.1016/j.websem.2015.03.002
fatcat:birgfbax7zgivoglbxletyvxxq
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
[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.
Other Versions
Then, we consolidate the solution by mapping the properties in both worlds using specification patterns as common language and we verify the correctness of this mapping. ...
We follow a bottom up approach where we specify a control design (in Simulink) for a case inspired by Scuderia Ferrari (F1) and provide evidence for stability and safety. ...
The properties are mapped using property specification patterns as a common language. ...
arXiv:2108.08139v1
fatcat:al7kfnrqxrc6xg2wsbmgymindm
« Previous
Showing results 1 — 15 out of 516,971 results