Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Knowledge engineering: principles and methods
Data & Knowledge Engineering - Special jubilee issue: DKE 25
Challenges: an application model for pervasive computing
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Communications of the ACM - Ontology: different ways of representing the same concept
Some problems with the notion of context-aware computing
Communications of the ACM - Ontology: different ways of representing the same concept
Understanding ontological engineering
Communications of the ACM - Supporting community and building social capital
Silicon Second Nature: Culturing Artificial Life in a Digital World
Silicon Second Nature: Culturing Artificial Life in a Digital World
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Adaptive User Interfaces: Principles and Practice
Adaptive User Interfaces: Principles and Practice
Understanding and Using Context
Personal and Ubiquitous Computing
Project Aura: Toward Distraction-Free Pervasive Computing
IEEE Pervasive Computing
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Modeling Context Information in Pervasive Computing Systems
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Automatic Generation of Java/SQL Based Inference Engines from RDF Schema and RuleML
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Pros and Cons of Controllability: An Empirical Study
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Reasoning with Expressive Description Logics: Theory and Practice
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Location management in pervasive systems
ACSW Frontiers '03 Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21
Digital Soul: Intelligent Machines and Human Values
Digital Soul: Intelligent Machines and Human Values
Engagement in Multimedia Training Systems
HICSS '99 Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences-Volume 1 - Volume 1
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Ontological Engineering
Model-Driven Development: A Metamodeling Foundation
IEEE Software
Guest Editors' Introduction: Model-Driven Development
IEEE Software
The Pragmatics of Model-Driven Development
IEEE Software
A grounded investigation of game immersion
CHI '04 Extended Abstracts on Human Factors in Computing Systems
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Use of ontologies in a pervasive computing environment
The Knowledge Engineering Review
Reasoning about Uncertain Contexts in Pervasive Computing Environments
IEEE Pervasive Computing
Intelligent Agents Meet the Semantic Web in Smart Spaces
IEEE Internet Computing
Communications of the ACM - The disappearing computer
Utilising context ontology in mobile device application personalisation
Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia
A service-oriented middleware for building context-aware services
Journal of Network and Computer Applications
Designing mediation for context-aware applications
ACM Transactions on Computer-Human Interaction (TOCHI)
Application-oriented Context Modeling and Reasoning in Pervasive Computing
CIT '05 Proceedings of the The Fifth International Conference on Computer and Information Technology
Modeling and Reasoning about Uncertainty in Context-Aware Systems
ICEBE '05 Proceedings of the IEEE International Conference on e-Business Engineering
Review of "Why is AI so scary?"
Artificial Intelligence
Funology: from usability to enjoyment
Funology: from usability to enjoyment
Data & Knowledge Engineering
IEEE Intelligent Systems
How to reason with OWL in a logic programming system
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Autonomic Computing
How smart are our environments? An updated look at the state of the art
Pervasive and Mobile Computing
The double role of ontologies in information science research: Research Articles
Journal of the American Society for Information Science and Technology
Using established Web Engineering knowledge in model-driven approaches
Science of Computer Programming
Towards the design of intelligent CAD systems: An ontological approach
Advanced Engineering Informatics
Where's the proof? A review of literature on effectiveness of information technology in education
FIE '98 Proceedings of the 28th Annual Frontiers in Education - Volume 01
Semantic model-driven architecting of service-based software systems
Information and Software Technology
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Modelling software development methodologies: A conceptual foundation
Journal of Systems and Software
Ontologies, JavaBeans and Relational Databases for enabling semantic programming
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Artificial Intelligence
An algorithm for the automatic transformation of ontology axioms into a rule model
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Modeling and Using Context in Adapting Applications to Pervasive Environments
PERSER '06 Proceedings of the 2006 ACS/IEEE International Conference on Pervasive Services
Artificial Intelligence and Law
A survey on context-aware systems
International Journal of Ad Hoc and Ubiquitous Computing
What is user engagement? A conceptual framework for defining user engagement with technology
Journal of the American Society for Information Science and Technology
Context-aware application programming for mobile devices
Proceedings of the 2008 C3S2E conference
Adding High-level Reasoning to Efficient Low-level Context Management: A Hybrid Approach
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Ontology-based inference for causal explanation
Integrated Computer-Aided Engineering
Reasoning Web
Pervasive Services on the Move: Smart Service Diffusion on the OSGi Framework
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
MDA-Based Methodologies: An Analytical Survey
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Embedding Computational Intelligence in Pervasive Spaces
IEEE Pervasive Computing
An Ontological and Non-monotonic Rule-Based Approach to Label Medical Images
SITIS '07 Proceedings of the 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Reasoning about Context in Uncertain Pervasive Computing Environments
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
Learning, Prediction and Mediation of Context Uncertainty in Smart Pervasive Environments
OTM '08 Proceedings of the OTM Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: 2008 Workshops: ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A comprehensive solution for application-level adaptation
Software—Practice & Experience
Adaptive context-aware pervasive and ubiquitous learning
International Journal of Technology Enhanced Learning
Applying Megamodelling to Model Driven Performance Engineering
ECBS '09 Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Ontologies of engineering knowledge: General structure and the case of software engineering
The Knowledge Engineering Review
Advanced inference in situation-aware computing
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling and intelligibility in ambient environments
Journal of Ambient Intelligence and Smart Environments
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Rules and ontologies in support of real-time ubiquitous application
Web Semantics: Science, Services and Agents on the World Wide Web
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
Reconciling description logics and rules
Journal of the ACM (JACM)
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Towards the Model Driven Development of context-aware pervasive systems
Pervasive and Mobile Computing
Pervasive and Mobile Computing
Merging model driven architecture and semantic web for business rules generation
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
MDD approach for the development of context-aware applications
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
How many legs do i have?: non-simple roles in number restrictions revisited
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Ubiquitous Computing Fundamentals
Ubiquitous Computing Fundamentals
Ubiquitous Computing Fundamentals
Ubiquitous Computing Fundamentals
A systematic review of research on integration of ontologies with the model-driven approach
International Journal of Metadata, Semantics and Ontologies
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Context-aware adaptation for Ambient Intelligence: Concepts, methods and applications
Context-aware adaptation for Ambient Intelligence: Concepts, methods and applications
Users' involvement may help respect social and ethical values and improve software quality
Information Systems Frontiers
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
IEEE Transactions on Knowledge and Data Engineering
Bridging metamodels and ontologies in software engineering
Journal of Systems and Software
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
Ubiquitous web for ubiquitous computing environments: the role of embedded semantics
Journal of Mobile Multimedia
Combining safe rules and ontologies by interfacing of reasoners
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Intrinsically motivated intelligent sensed environments
EG-ICE'06 Proceedings of the 13th international conference on Intelligent Computing in Engineering and Architecture
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
User control over user adaptation: a case study
UM'05 Proceedings of the 10th international conference on User Modeling
A UML profile for OWL ontologies
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
PERVASIVE'05 Proceedings of the Third international conference on Pervasive Computing
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Model-driven ontology engineering
Journal on Data Semantics VII
Toward Human Level Machine Intelligence - Is It Achievable? The Need for a Paradigm Shift
IEEE Computational Intelligence Magazine
Evolving Intelligence in Humans and Machines: Integrative Evolving Connectionist Systems Approach
IEEE Computational Intelligence Magazine
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
Hi-index | 0.00 |
Increasing demand for large scale and highly complex systems and applications, particularly with the emergence of pervasive computing and the impact of adaptive systems, introduces significant challenges for software development, as well as for user-machine interaction. Therefore, a perspective shift on software development and user-machine interaction is required. An amalgamation of model driven development and ontologies has been envisaged as a promising direction in recent literature. In this paper, we investigate this merged approach and conclude that a merger of both approaches, from formal modelling and knowledge representation perspective, on the one hand enables use of ontologies at run-time together with rules, prominently in terms of run-time reasoning, dynamic adaptations, software intelligibility, self-expressiveness, user involvement, and user situation awareness; and on the other hand at development time, prominently in terms of automated and incremental code generation, requirement adaptability, preservation of application knowledge, and validation and verification of structural and behavioural properties of the software. The core contribution of this paper lies in providing an elaborate and exploratory discussion of the problem and solution spaces along with a multidisciplinary meta-review and identification of complementary efforts in literature required to realise a merged approach.