Hirankitti, Visit
Loading...
15 results
Now showing 1 - 10 of 15
- 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 multi-agent communication of semantic web information(2006-01-01); Xuan, Vuong TranThe success of the semantic web would be determined by how easy and uniform to access to and exchange of the semantic information among computers. In this paper we have developed a framework of multi-agent communication of the Semantic Web information. The agent and the communication between agents are characterized in meta-logic. One single agent, understood as a meta-logical system, adopts a demo(.) predicate as its inference engine and meta-programs—transformed from some Semantic Web ontologies—as its assumptions. Such an agent can reason with its assumptions as well as other agent’s assumptions. With this ability, when several agents are created by using this framework, the community of these agents can uniformly communicate the Semantic Web information between each other on the Internet. - 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 Agent Approach for Intelligent Traffic-Light Control(2007-01-01); Krohkaew, JaturapithIn this paper we have adopted an agent approach for traffic light control. According to this approach, our system consists of agents and their world. In the traffic context, the world consists of cars, road networks, traffic lights, etc. Each of these agents controls all traffic lights at a road junction by an observe-think-act cycle. That is, the agent repeatedly observes the current traffic condition at the junction, it then uses this information to reason with condition-action rules to determine how the agent should act in what traffic condition, and finally it performs those actions in order to efficiently manage the traffic flows. We have also developed a NetLogo-based traffic simulator to serve as the agents¿ world. Our approach is experimented with traffic control of a few connected junctions and the result obtained is promising; it can reduce the average delayed time of each car at each traffic-light near a junction rather substantially when compared with other approaches. - 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, A meta-logical approach for reasoning with semantic web ontologies(2006-12-01); Xuan, Vuong TranThe design of Semantic Web markup languages, such as RDF, RDFS, and OWL, has been influenced by many different concepts, such as semantic structures and frame representations, object-oriented approaches, Description Logic, and first-order logic. Currently a Semantic Web ontology represented in these different languages is processed and manipulated differently by various approaches; however, in this paper we propose a single framework using meta-logic which can process the ontology in a uniform manner. Meta-logic allows us to reason with statements about description of classes, properties, instances, and their relationships expressed in RDF, RDFS, and OWL. This is accomplished by: initially an ontology, represented in combined RDF, RDFS, and OWL languages, is transformed to meta-logical statements representing definitions of classes and properties, relationships between classes and properties, and relationships between instances, etc.; later these statements are reasoned by a meta-interpreter which provides a query answering mechanism to infer meta and context information from the Semantic Web ontology. © 2006 IEEE. - Some of the metrics are blocked by yourconsent settings
Item type:Publication, An Object-Oriented Agent Framework for SCADA(2023-01-01)The future of factory automation is certainly Industry 4.0, where SCADA software is its essential element. A more advanced SCADA software, namely “intelligent SCADA,” is needed to be developed to support Industry 4.0. In this paper, we shall investigate an intelligent SCADA software by proposing an object-oriented agent framework for it. The proposed framework is modeled entirely using the object-oriented approach; with its merit, we can represent and reason about machines’ state and change, and we can also model and reason about object language and metalanguage of what we call “a cyber-physical system.” Moreover, we gain a great deal of benefit from object-oriented concepts for this intelligent SCADA, such as inheritance, polymorphism, persistence, object-oriented design patterns and so on. We shall argue that our approach captures the notion of a cyber-physical system and a digital twin naturally as well as embraces logic fundamentally. The framework was developed, as a web-based SCADA application, using Python on the server side and JavaScript together with HTML on the client side.