Sciweavers

772 search results - page 49 / 155
» Ontology Based Information Integration Using Logic Programmi...
Sort
View
122
Voted
SEMWEB
2010
Springer
15 years 13 days ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
133
Voted
ATAL
2005
Springer
15 years 8 months ago
SEAGENT: a platform for developing semantic web based multi agent systems
In this paper, a new agent development platform, which includes built-in features for semantic web based multi agent system development, is introduced. All agents and services in ...
Oguz Dikenelli, Riza Cenk Erdur, Özgür G...
128
Voted
PLILP
1993
Springer
15 years 6 months ago
Narrowing Approximations as an Optimization for Equational Logic Programs
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
María Alpuente, Moreno Falaschi, Marí...
ICLP
1997
Springer
15 years 6 months ago
Non-Failure Analysis for Logic Programs
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
Saumya K. Debray, Pedro López-García...
139
Voted
CAISE
2004
Springer
15 years 8 months ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...