Sciweavers

7 search results - page 1 / 2
» Static Knowledge Representation of Multi-Agent System's Spec...
Sort
View
DLOG
2006
14 years 8 days ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun
JAIR
2002
101views more  JAIR 2002»
13 years 10 months ago
Structured Knowledge Representation for Image Retrieval
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
Eugenio Di Sciascio, Francesco M. Donini, Marina M...
KES
2008
Springer
13 years 11 months ago
Ontology-Based Design Pattern Recognition
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
Damir Kirasic, Danko Basch
FOIS
2006
14 years 8 days ago
Approximation of Ontologies in CASL
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
Klaus Lüttich
MKWI
2008
113views Business» more  MKWI 2008»
14 years 9 days ago
A Rule-based Middleware for Business Process Execution
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
Adrian Paschke, Alexander Kozlenkov