Seiji Koide

OWL-Full reasoning from an object oriented perspective

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 Java and C# We have developed SWCLOS, which is an OWL processor seamlessly built on top of Common Lisp Object System (CLOS), a dynamic OOP language SWCLOS allows programmers to develop application domain models by OWL and enables OOP upon the models In this paper, we explain the semantic gap between OWL and OOP languages, introduce the RDFS and OWL realization at SWCLOS, and discuss the OWL features from OOP perspectives Finally we demonstrate the OWL-Full level performance in SWCLOS.

Meta-circularity and MOP in common Lisp for OWL full

We have developed an OWL (Web Ontology Language) Full language processor, SWCLOS, for processing semantic web pages on top of the Common Lisp Object System (CLOS). To implement the OWL Full level of capability, we leveraged the dynamic and reflective features of CLOS. The metamodeling capability of CLOS is utilized to realize the metamodeling capability of Resource Description Framework (RDF) and OWL Full. The native computational model of CLOS is changed into the model of RDF and OWL by using the Meta-Object Protocol (MOP) in CLOS. Although the metamodeling specifications in CLOS are firmly established in the Common Lisp community, the semantics is not yet fully developed, since Common Lisp does not have formal semantics. In this paper, we focus on metamodeling in CLOS. We point out that the architecture of CLOS in the metamodeling is the same as in RDF and clarify the denotational semantics of CLOS in comparison with the RDF semantics.

Inquiry into RDF and OWL Semantics

The purpose of this paper is to present the higher order formalization of RDF and OWL with setting up ontological meta-modeling criteria through the discussion of Russell’s Ramified Type Theory, which was developed in order to solve Russell Paradox appeared at the last stage in the history of set theory. This paper briefly summarize some of set theories, and reviews the RDF and OWL Semantics with higher order classes from the view of Russell’s Principia Mathematica. Then, a set of criteria is proposed for ontological meta-modeling. Several examples of meta-modeling, including sound ones and unsound ones, are discussed and some of solutions are demonstrated according to the meta-modeling criteria proposed.

Knowledge Graphs and Language Technology

While we now have vast collections of knowledge at our disposal, it appears that our systems often need further kinds of knowledge that are still missing in most knowledge graphs. This paper argues that we need keep moving further beyond simple collections of encyclopedic facts. Three key directions are (1) aiming at more tightly integrated knowledge, (2) distilling knowledge from text and other unstructured data, and (3) moving towards cognitive and neural approaches to better exploit the available knowledge in intelligent applications.

Designing of Ontology for Domain Vocabulary on Agriculture Activity Ontology (AAO) and a Lesson Learned

This paper proposes Agriculture Activity Ontology (AAO) as a basis of the core vocabulary of agricultural activity. Since concepts of agriculture activities are formed by the various context such as purpose, means, crop, and field, we organize the agriculture activity ontology as a hierarchy of concepts discriminated by various properties such as purpose, means, crop and field. The vocabulary of agricultural activity is then defined as the subset of the ontology. Since the ontology is consistent, extendable, and capable of some inferences thanks to Description Logics, so the vocabulary inherits these features. The vocabulary is also linked to existing vocabularies such as AGROVOC. It is expected to use in the data format in the agricultural IT system. The vocabulary is adopted as the part of “the guideline for agriculture activity names for agriculture IT systems” issued by Ministry of Agriculture, Forestry and Fisheries (MAFF), Japan. Also we investigated the usefulness of the ontology as the method for defining the domain vocabulary.

Constructing a Site for Publishing Open Data of the Ministry of Economy, Trade, and Industry - A Practice for 5-Star Open Data -

We describe a procedure for constructing a website for publishing open data by focusing on the case of Open DATA METI, a website of the Ministry of Economy, Trade, and Industry of Japan. We developed two sites for publishing open data: a data catalog site and one for searching linked open data (LOD). The former allows users to find relevant data they want to use, and the latter allows them to utilize the found data by connecting them. To implement the data catalog site, we constructed a site tailored to the needs of the organization. Then we extracted a large amount of metadata from the individual open data and put it on the site. These activities would have taken a lot of time if we had used the existing methods, so we devised our own solutions for them. To implement the LOD searching site, we converted the data into LOD in the Resource Description Framework (RDF). We focused on converting statistical data into tables, which are widely used. Regarding the conversion, there were several kinds of missing information that we needed to associate with the data in the tables. We created a template for incorporating the necessary information for LOD in the original table. The conversion into LOD was automatically done using the template.

Common Languages for Web Semantics

RDF is a language to express propositions 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, endeavors to describe ontology in OWL are revealing the extent of the language capability in practical views. In this paper, firstly we give an overview of basic assumptions as knowledge representation languages for Semantic Webs, and then point out several basic and problematic issues of OWL mainly arose from the difference of the foundation among languages. They are captured by our own experience of developing an object oriented language for Semantic Webs and its applications. They are solved in our language by means of i) explicit descriptions of role concepts, ii) auto-epistemic local closed world assumption, iii) ternary truth values, and iv) unique name assumption for atomic objects. Finally, we envision the direction of language development for web semantics with reviewing Common Logic.