Communications in Computer and Information Science 230 148-162 2011 [Refereed]
RDF is a language to express proposition on the WWW and OWL is a language for defining Web ontologies. It seems that RDF and OWL have established themselves as a standard in Semantic Webs. However, endevors to describe ontology in OWL are revealin...
Proc. Asian Semantic Web Conf. 2006 (ASWC 2006) LNCS(4185) 263-277 Nov 2006 [Refereed]
Bridging the gap between OWL and Object-Oriented Programming (OOP) languages is an indispensable condition to enable the Object-Oriented Modeling in Software Engineering by OWL. However it is very difficult in case of static OOP languages like Jav...
Ontology has been used as a primitive of knowledge base construction, and now it is the backbone of the Semantic Web. It incorporates extensibility and distributed manageability that are main features of the Web. In this paper, we summarize the fe...
We had transformed English WordNet into RDF according to the guideline from W3C and provided RDF les and the way of web browsing of WordNet. While Japanized WordNet is recently published, it is not in the LOD style and does not include links to ot...
Set theories are the theoretical foundation of Semantic Web languages, RDF and OWL, as they are the foundation of mathematical theories. The W3C document of RDF Semantics mentions Zermelo-Fraenkel (ZF) Set Theory, and the W3C document of OWL Seman...
OWL has established itself as a standard of ontology description language not only in Semantic Web but also in diverse disciplines and engineering fields. However, endeavors to describe ontology in OWL are revealing the extent of ability on the O...
Unification is an elemental technique that is commonly used for reasoning in First-Order Logic systems, logic languages, and planners, etc. When we develop applications equipped with ontologies described in OWL, the unification between variables a...
This paper describes an RDF(S) and OWL-Full modeling language called SWCLOS, which is built on top of Common Lisp Object System (CLOS). The axioms and entailment rules of RDF(S) are implemented and the RDF(S) semantics is realized using CLOS Meta-...
First International Joint Workshop SMR2 2007 on Service Matchmaking 2007
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for web service composition as well as being for task planning. However, no complete success of service composition by HTN is achieved as yet. The reason is the...
An Ontology-based Information Retrieval System using a Domain Ontology Development Environment
There exists certain need for upper ontologies that are sharable among many and various domain ontologies. In English, WordNet, which is originally developed for natural language processing, is also used as ontology as well as lexical resource. Tw...
Fault Tree Analysis and Failure Mode Effects Analysis[Invited]
Seiji Koideand Akio Gofuku and Norikazu Shimada
安全と保守に関する国際ワークショップ Jan 2006
The fault tree analysis (FTA) and the failure mode effects analysis (FMEA) are widely applied to the safety evaluation of a system, especially in the development of large-scale and mission-critical system such as nuclear power plants, aircrafts, a...
ASWC 2006, Workshop on Web Search Technology Sep 2006
In this paper, we report an implementation, deployments, and lessons leaned from an early prototype of semantic search, which is equipped with on an Enterprise Search Platform called GXFinder. Each GXFinder share the search indices with other syst...
MetaModeling in OOP, MOF, RDFS, and OWL
Seiji Koide and Hideaki Takeda
5th Int. Semantic Web Conf. (ISWC 2006), Workshop on Semantic Web Enabled Software Engineering Nov 2006
The composition of Semantic Web Services is to synthesize invoking sequences of Web Services with data flows, so that the sequence of services turns out goals demanded by users. The problem of Web Service composition could be deemed a planning pro...
Local variables, the scope, and data flow from inputs of Web Services to outputs are introduced into the OWL-S 1.1 specification. However, these new features are not useful for agents to discover and compose Web Services. Agents must know the mean...
Seiji Koide and Masanori Kawamura and Susumu Nagano
May 2004
Semantic Web is a promising application area for Lisp programming language as well as Prolog, because basic requirements for semantic web processing such as axiom, entailment, and property constraint are also basic functionalities in AI reasoning....
There are several semantic gaps between RDF semantics and OWL semantics, whereas OWL is placed on top of RDF in the Semantic Web Layer Stack. In this paper, we see an overview of basic assumptions of RDF and OWL, and then point out several basic a...
The web service composition problem contains two aspects of AI disciplines, i.e., task planning and automatic programming. The semantics of web service composition from the task planning view has been previously reported by authors. The typed unif...
After OWL matured at the Semantic Web Stack, logic programming on the layer of OWL has emerged as an open issue to be solved. To build the logic programming framework on the OWL layer, the semantic gap between logics and OWL such as Closed World A...
The Web Service Composition is similar but not identical to the task planning, and the Hierarchical Web Service Composition of complex Web Services is similar but not identical to the Hierarchical Task Network (HTN) planning. In addition to the pr...
2nd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2006) at the 5th International Semantic Web Conference (ISWC 2006) Nov 2006 [Refereed]
5th International Semantic Web Conference (ISWC2006), Poster 2006
OWL vs. Object Oriented Programming
Seiji Koide and Jans Aasman and Steve Haflich
Workshop on Semantic Web Enabled Software Engineering (SWESE) at the 4th International Semantic Web Conference (ISWC 2005) Nov 2005 [Refereed]
The integration of Object-Oriented Programming (OOP) and Description Logic seems to be so desirable that it produces valid, sound, and reusable software on the firm base of Logic. Whereas we believe the possibility of the integration from our expe...
HONG YunKi, MORITA Takeshi, IIJIMA Tadashi, KOIDE Seiji, YAMAGUCHI Takahira
Technical report of IEICE. KBSE 105(48) 1-6 May 2005
Although retrieval results can be improved with ontologies, it usually takes many costs for users to construct domain ontologies. This paper discusses how to integrate search result refinement and domain ontologies refinement, presenting a methodo...
Technical report of IEICE. KBSE 104(588) 55-60 Jan 2005
We are constructing Rocket Launching Support System by means of Semantic Web Services. The task ontology is considered as the description of pattern in business flow modeling and operation task flow modeling, and OWL-S is captured as the descripti...
Systems, Man, and Cybernetics, 1999. IEEE SMC apos;99 Conference Proceedings. 1999 IEEE International Conference 5 636-641 1999 [Refereed]
Several studies on the human-machine interface (HMI) have progressed to decrease the human load on process plant operation. Among these studies, interface agents, which mediate between plant operators and process plants, are illuminated. On the ot...
IEICE technical report. Artificial intelligence and knowledge-based processing 98(436) 77-80 Nov 1998
An interface agent for process plant operation mediates between an operator and a process plant. In this paper, we describe the notion of an interface agent derived from the characteristics of plant operation task and the generic properties of age...
Seiji Koide, Hideyuki Andou, Shuntaro Suzuki, Mitsushige Oda
Intelligent Robots and Systems'93, IROS'93. Proceedings of the 1993 IEEE/RSJ International Conference 1995-2001 Jul 1993 [Refereed]
A layered architecture was proposed for the command and control system of semi-autonomous space robots, and the proposal was validated by the demonstration of replacing an orbital replacement unit on a testbed for space robots. The command and con...
