A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains

Modal description logics provide a more expressive framework than their propositional counterparts by allowing one to define the individuals and concepts of a particular application domain. In the literature, tableau decision algorithms have been given for various normal modal and temporal description logics. There is however a trend towards the use of coalition logics in the intelligent agents community. Coalition logics are extensions of the basic monotonic modal logic M which is a non-normal modal logic. This paper presents a tableau decision procedure for the formula satisfiability problem of the constant domain variant of MALC, i.e., ALC extended with modal operators from M that can be applied both to formulas and concepts. The presented algorithm can be used as the basis of a tableau decision procedure for coalition description logic. © 2009 Elsevier B.V. All rights reserved

Coalition Description Logic for Individuals

AbstractCoalitional Description Logic [Seylan, I. and W. Jamroga, Description logic for coalitions, in: Proceedings of AAMAS'09, 2009, pp. 425–432.] is a product style combination of Coalition Logic and the description logic ALC. It enables reasoning about agents' ability to influence first-order structures. In this paper, we extend the logic with nominals, i.e., names of individuals including those of agents to define more complex terms for coalitions. This extended language allows one to express surprisingly sophisticated properties because it provides a way to reason about how agents can influence themselves. After introducing the new logic formally, we show that its satisfiability problem is still decidable in NEXPTIME. We prove it constructively by proposing a tableau

Semantically federating multi-agent organizations

5th International Workshop on Engineering Societies in the Agents World, ESAW 2004 -- 20 October 2004 through 22 October 2004 -- Toulouse -- 67053We believe that successful co-operation between multi-agent systems providing services in a specific domain can be realized by constructing an infrastructure that supports the semantic interoperability between them. In this paper1, we introduce a conceptual architecture for the semantic interoperability of multi-agent systems in the large-scale. The most important element of the proposed conceptual architecture is the federation. A federation established for a particular domain specifies the common characteristics of multi-agent systems in that domain. Hence, a special ontology is required at the federation level for defining the common characteristics of each multi-agent system in a particular domain as its own meta-knowledge. This meta-knowledge is then used in the semantic discovery of the multi-agent systems with which to cooperate. Since different multi-agent systems may use different ontologies, an ontology translation service is also defined at the federation level. © Springer-Verlag Berlin Heidelberg 2005

SEAGENT: A platform for developing semantic web based multi agent systems

ACM SIGART;The International Foundation for Multiagent Systems, IFMAS;The Int. Workshop on Agent Theories, Archit. and Lang. ATAL4th International Conference on Autonomous Agents and Multi agent Systems, AAMAS 05 -- 25 July 2005 through 29 July 2005 -- Utrecht -- 66769In 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 the platform use semantic web standards to represent their internal knowledge and semantic web query languages are used to query them. Semantic web services can be discovered and dynamically invoked. The directory service is implemented in a way to support semantic matching of agent capabilities. The ontology service allows ontology translation based on defined mappings between platform ontologies and external ontologies. With these features already integrated, the agent development platform that is developed simplifies the semantic web based multi-agent system development. Copyright 2005 ACM

ChemInform Abstract: Asymmetric Synthesis and Molecular Docking Study of Enantiomerically Pure Pyrrolidine Derivatives with Potential Antithrombin Activity.

The (2R,4R,5S)- and (2S,4S,5R)-enantiomers of 4-(tert-butyl) 2-methyl 5-(4-bromophenyl)-pyrrolidine-2,4-dicarboxylate 3 were synthesized efficiently with an ee of >90% on a gram scale using a FAM-catalytic methodology. Subsequent modification afforded enantiopure N-((4-chlorophenyl)thio)acetyl pyrrolidine derivatives 4, which are potential thrombin inhibitors according to comprehensive molecular docking studies

Asymmetric synthesis and molecular docking study of enantiomerically pure pyrrolidine derivatives with potential antithrombin activity

The (2R,4R,5S)- and (2S,4S,5R)-enantiomers of 4-(tert-butyl) 2-methyl 5-(4-bromophenyl)-pyrrolidine-2,4-dicarboxylate 3 were synthesized efficiently with an ee of >90% on a gram scale using a FAM-catalytic methodology. Subsequent modification afforded enantiopure N-((4-chlorophenyl)thio)acetyl pyrrolidine derivatives 4, which are potential thrombin inhibitors according to comprehensive molecular docking studies