Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
An ontological approach to domain engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Domain-Specific Modeling
DSLs: the good, the bad, and the ugly
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
An ontology for software models and its practical implications for semantic web reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
Bridging software languages and ontology technologies: tutorial summary
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
An adjustable transformation from OWL to ecore
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Interoperability Services for Models and Ontologies
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Is my model right? Let me ask the expert
Journal of Systems and Software
Integrating ontological domain knowledge into a robotic DSL
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Proceedings of the 10th Workshop on Domain-Specific Modeling
Joint language and domain engineering
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Towards semantic modeling of network physical devices
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Towards a DSM-based framework for the development of complex simulation systems
Proceedings of the 2011 Summer Computer Simulation Conference
Ontology driven design of EMF metamodels and well-formedness constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
ReVeaLD: A user-driven domain-specific interactive search platform for biomedical research
Journal of Biomedical Informatics
Hi-index | 0.00 |
Domain-specific languages (DSLs) are high-level and should provide abstractions and notations for better understanding and easier modeling of applications of a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a novel approach that allows the use of ontologies to describe DSLs. The formal semantics of OWL together with reasoning services allow for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels, concrete syntaxes and a query language. A scenario in which domain models for network devices are created illustrates the development environment.