Results 1 - 10 of 253

Reasoning on Business Processes and Ontologies in a Logic Programming Environment

by Michele Missikoff, Maurizio Proietti, Fabrizio Smith
"... 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

by unknown authors , 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

by Fabrizio Smith, Maurizio Proietti
"... 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

by Nuno Lopes, Cláudio Fern, Salvador Abreu
"... 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

by Del Chiara , Bijan Vescovo , Uli Parsia , Sattler
"... 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

by Chiara Del Vescovo, Bijan Parsia, Uli Sattler
"... 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 ⋆

by Guohui Xiao, Stijn Heymans, Thomas Eiter
"... 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

by Simone Fuchs, Stefan Rass, Oghere Kyamakya, Romain Rouvoy, Mauro Caporuscio, Michael Wagner, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Simone Fuchs, Stefan Rass, Oghere Kyamakya
"... 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

by Nuno Lopes, Cláudio Fern, Salvador Abreu
"... 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

by Gergely Lukácsy, Péter Szeredi - 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