Authors:
Seiji Koide
1
and
Hideaki Takeda
2
Affiliations:
1
The Graduate University for Advanced Studies Sokendai, Japan
;
2
National Institute of Informatics and SOKENDAI, Japan
Keyword(s):
Semantic web, RDF, OWL, Object, KIF, Common logic, Reflection, SWCLOS.
Related
Ontology
Subjects/Areas/Topics:
Applications
;
Artificial Intelligence
;
Business and Software Modeling Languages
;
Cross-Feeding between Data and Software Engineering
;
Formal Methods
;
Knowledge Engineering
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Meta Programming Systems and Meta-Modeling
;
Model-Driven Engineering
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Symbolic Systems
Abstract:
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 OWL current specification in practical views. In this paper, we see an overview of basic assumptions of knowledge representation languages for Semantic Web, and point out several basic and problematic issues of OWL, which are captured by our own experience of developing a language processor called SWCLOS, the first OWL Full processor developed on top of Common Lisp Object System (CLOS), and we address our approach to solve them. It includes explicit descriptions of role concepts, auto-epistemic local closed world assumption, ternary truth values, and unique name assumption for atomic objects. These settings are implemented into SWCLOS. Finally, we envision the direction of languages for semantic WWW.