Results 1 - 10
of
253
Reasoning on Business Processes and Ontologies in a Logic Programming Environment
"... Abstract. In this paper we present a semantic approach to Business Process (BP) Management. The proposal is based on a synergic use of an ontological framework (OPAL), to capture the semantics of a business scenario, and a business process modelling framework (BPAL), to represent the underlying appl ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
application logic. Both frameworks are grounded in a logic-based formalism (Logic Programming) and therefore it is possible to apply effective reasoning methods to make inferences over a BPKB (Business Process Knowledge Base) stemming from the fusion of the two. 1
Ontology
, 2009
"... (VO) management mode of grid resources. Frequent joining and leaving of resources requires strong self-organization capacity of the system to maintain the rigid structure. Moreover, arranging a moderate identifier space for a DHT ring is knotty. A large identifier space will make some nodes overload ..."
Abstract
- Add to MetaCart
precision and integrality. To address these issues, the paper proposes a scalable DHT- and ontology-based Information Service (DIS) for a grid system, which organizes resources into a DHT ring based on the VO mode. To save the identifier space, only stable VOs can join DIS via a new DHT node, whereas
Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach
"... We propose a framework grounded in Logic Programming for representing and reasoning about business processes from both the procedural and ontological point of views. In particular, our goal is threefold: (1) define a logical language and a formal semantics for process models enriched with ontology-b ..."
Abstract
- Add to MetaCart
We propose a framework grounded in Logic Programming for representing and reasoning about business processes from both the procedural and ontological point of views. In particular, our goal is threefold: (1) define a logical language and a formal semantics for process models enriched with ontology
Representing and Querying Multiple Ontologies with Contextual Logic Programming
"... Abstract. The system presented in this paper uses Contextual Logic Programming as a computational hub for representing and reasoning over knowledge modeled by web ontologies, integrating the approach with similar mechanisms which we already developed. The components required to behave as a SPARQL qu ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract. The system presented in this paper uses Contextual Logic Programming as a computational hub for representing and reasoning over knowledge modeled by web ontologies, integrating the approach with similar mechanisms which we already developed. The components required to behave as a SPARQL
Logical Relevance in Ontologies
"... Abstract Most ontology development environments (ODEs) are term oriented and take a frame-based view of the information in an ontology about a given term. Even tools, such as Protégé 4, designed for axiom oriented development preserve the frame-based view as the central mode of interaction with the ..."
Abstract
- Add to MetaCart
Abstract Most ontology development environments (ODEs) are term oriented and take a frame-based view of the information in an ontology about a given term. Even tools, such as Protégé 4, designed for axiom oriented development preserve the frame-based view as the central mode of interaction
Logical Relevance in Ontologies
"... Abstract Most ontology development environments (ODEs) are term oriented and take a frame-based view of the information in an ontology about a given term. Even tools, such as Protégé 4, designed for axiom oriented development preserve the frame-based view as the central mode of interaction with the ..."
Abstract
- Add to MetaCart
Abstract Most ontology development environments (ODEs) are term oriented and take a frame-based view of the information in an ontology about a given term. Even tools, such as Protégé 4, designed for axiom oriented development preserve the frame-based view as the central mode of interaction
DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs ⋆
"... Abstract. Nonmonotonic dl-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, even for tractable dl-programs, the overhead of an external DL reasoner mi ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Abstract. Nonmonotonic dl-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, even for tractable dl-programs, the overhead of an external DL reasoner
Integration of Ontological Scene Representation and Logic-Based Reasoning for Context-Aware Driver Assistance Systems
"... Abstract: Co-operative driver assistance systems share information about their sur-rounding with each other, thus enhancing their knowledge and their performance. For successful information exchange and interpretation, a common domain under-standing is needed. This paper first presents an ontology-b ..."
Abstract
- Add to MetaCart
-based context-model for driving scene description, including next to spatio-temporal components also addi-tional context information like traffic signs, state of the driver and the own-vehicle. For traffic rules, we integrate the ontological scene description with a logic pro-gramming environment, to enable
UDC 004.42 Representing and Querying Multiple Ontologies with Contextual Logic Programming
"... Abstract. The system presented in this paper uses Contextual Logic Programming as a computational hub for representing and reasoning over knowledge modeled by web ontologies, integrating the approach with similar mechanisms which we already developed. As a result of its Logic Programming heritage, t ..."
Abstract
- Add to MetaCart
Abstract. The system presented in this paper uses Contextual Logic Programming as a computational hub for representing and reasoning over knowledge modeled by web ontologies, integrating the approach with similar mechanisms which we already developed. As a result of its Logic Programming heritage
Efficient Description Logic Reasoning in Prolog: The DLog system
- THEORY AND PRACTICE OF LOGIC PROGRAMMING
, 2009
"... Traditional algorithms for description logic (DL) instance retrieval are inefficient for large amounts of underlying data. As description logic is becoming popular in areas such as the Semantic Web and information integration, it is very important to have systems that can reason efficiently over lar ..."
Abstract
-
Cited by 10 (3 self)
- Add to MetaCart
Traditional algorithms for description logic (DL) instance retrieval are inefficient for large amounts of underlying data. As description logic is becoming popular in areas such as the Semantic Web and information integration, it is very important to have systems that can reason efficiently over
Results 1 - 10
of
253