Sciweavers

81 search results - page 15 / 17
» An Operational Semantics for Declarative Multi-Paradigm Lang...
Sort
View
SEMWEB
2009
Springer
14 years 2 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...
ICFP
2010
ACM
13 years 8 months ago
Instance chains: type class programming without overlapping instances
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
J. Garrett Morris, Mark P. Jones
TAOSD
2010
13 years 6 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...
EDBT
2002
ACM
145views Database» more  EDBT 2002»
14 years 7 months ago
Incremental Maintenance of Schema-Restructuring Views
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...
Andreas Koeller, Elke A. Rundensteiner
SSDBM
2000
IEEE
155views Database» more  SSDBM 2000»
14 years 3 days ago
Knowledge-Based Integration of Neuroscience Data Sources
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
Amarnath Gupta, Bertram Ludäscher, Maryann E....