Hirankitti, Visit
Loading...
10 results
Now showing 1 - 10 of 10
- Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-reasoning approach for reasoning with SWRL ontologies(2011-07-26); Trang, Mai XuanSWRL is designed for enhancing inferential power on OWL ontologies by introducing rules to the language. With SWRL, rules are allowed to combine with OWL ontologies in order to support deduction on the semantic web ontologies. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (51 and OWL 2 [71; with the advent of SWRL, in this paper we shall extend our framework to support OWL with rules, and hence to support SWRL. Meta-languages together with a meta-interpreter, defined by demo ( . ) predicate, are proposed and used for reasoning with Semantic Web ontologies with rules. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with ontologies and rules in OWL 2(2011-11-14); Xuan, Trang MaiOWL became a de facto language for representing Semantic Web ontologies. Having been improved and extended with rules, the language was later updated to OWL 2. In this paper we propose a framework for reasoning with an OWL2 ontology and rules using meta-logic. Our meta-logical system consists of meta-programs expressing onotologies and rules, and an inference engine in a form of meta-interpreters defined by a demo(.) predicate. The framework reasons with ontologies and rules in OWL 2 by first an ontology and rules being translated into meta-statements, and these meta-statements then being reasoned by the meta-interpreter, which provides a query answering mechanism to infer implicit information. A comparative study of related works has revealed a merit of our meta-logical representation approach that separates the meta level knowledge from the object level one. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, An intelligent agent for home energy efficiency(2017-01-01)Using energy efficiently will help alleviate the climate change, one major purpose of smart home development is to achieve that by employing Home Energy Management System. In this paper we propose an agent framework based on an object-oriented and logical approach for HEMS to achieve home energy efficiency. The framework embraces demand-side management and efficient use of energy in a smart home. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with an OWL 2 ontology(2012-12-01); Mai, Trang XuanA recent development of a Semantic Web language led to Web Ontology Language (OWL) 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (Hirankitti and Tran, 4th IEEE International Conference on Computer Sciences: Research, Innovation and Vision for the Future, Vietnam, pp 228-235, 2006b). With the new extension-OWL 2, in this paper we shall extend our previous work to support this richer language. A meta-interpreter, defined by a demo(.) predicate together with auxiliary axioms, is proposed and used for reasoning with OWL 2 ontologies expressed in terms of meta-programs. Finally we demonstrate some expressiveness of the meta-interpreter and compare it with other approaches. © 2012 Springer-Verlag. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with an OWL 2 ontology(2010-12-01); Xuan, Trang MaiA recent development of a Semantic Web language is OWL 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL [6], with the new extension - OWL 2, in this paper we shall extend our previous work to support this richer language. A meta-interpreter, defined by a demo(.) predicate together with auxiliary axioms, is proposed and used for reasoning with OWL 2 ontologies expressed in terms of meta-programs. Finally we demonstrate some expressiveness of the meta-interpreter. ©2010 IEEE. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, An Intelligent Agent Framework for SCADA(2019-11-01)The world is moving towards Industry 4.0, where an industrial automation will be integrated with artificial intelligence. In this paper we investigate how SCADA software, which is an essential part of Industry 4.0, will be formulated as an intelligent agent under a framework based on object-oriented modelling and logic. The agent framework is, in turn, developed under an open standard web platform based on HTML5, JavaScript, and Python. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, An agent framework for home energy management system(2015-01-01)A smart home is a promising green technology not only to save people money on their electricity bills but also to alleviate the climate change in a micro-level. In this paper we report on our on-going research project how we are developing a smart home prototype. Here we focus on the essential part of a smart home, i.e. HEMS (Home Energy Management System), by investigating how we develop HEMS using an agent framework. A model of agents for constructing HEMS based on both object-oriented and logic programming approaches is proposed. The agent model is implemented in Python. We also argue for the benefit of combining both approaches into a unified agent framework. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, A meta-logical approach for reasoning with ontologies and rules expressed in OWL 2(2010-12-01); Xuan, Trang MaiOWL is a decidable language for representing ontologies, it adds considerable expressive power to the Semantic Web. However, it has several shortcomings in relational expressivity. These limitations can be overcome by extending an OWL ontology with some form of rules. The revision 2 of OWL is much richer than its predecessor with respect to modeling with rules. In this paper we propose a framework for reasoning with ontology and rule by adopting meta-logic. Our meta-logical system consists of several meta-programs expressing rules and onotologies at meta-level, and an inference engine in form of a meta-interpreter defined by a demo(.) predicate. Our meta-reasoning framework can reason with ontologies and rules expressed in OWL 2 by: (1) mapping statements expressed in ontology to metastatements, and mapping rules to meta-rules, (2) the meta-statements and meta-rules, then, are reasoned by a metainterpreter which provides a query answering mechanism to infer meta and context information from the Semantic Web Ontology. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, Reasoning on OWL2 ontologies with rules using metalogic(2013-01-01); Mai, Trang XuanIn this paper we propose a framework for reasoning on OWL 2 ontologies with rules using metalogic. Our meta-logical system consists of meta-programs expressing OWL 2 ontologies and rules at the meta-level, and an inference engine in a form of meta-interpreters defined by a demo(.) predicate. The framework reasons with ontologies and rules in OWL 2 by first an ontology and rules being translated into meta-statements, and these meta-statements then being reasoned by the meta-interpreter, which provides a query answering mechanism to infer information. A comparative study of related works has revealed a merit of the meta-logical representation approach that separates the meta level knowledge from the object level one. © 2013 Springer Science+Business Media, LLC. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, An Object-Oriented Agent Framework for HEMS(2018-01-01); Makee, TisanalukUsing energy efficiently will help alleviate the climate change, one major purpose of developing a smart home is to achieve that under the operation of the Home Energy Management System (HEMS). What we propose in this paper is an agent-based framework for HEMS using an object-oriented approach. The framework is implemented in Python. Our agent framework is a generic one applicable for constructing all types of agents in a smart home as well as the HEMS itself. It supports communication between agents and reasoning about states, events, and actions.