NDLI: A meta-logical approach for reasoning with an OWL 2 ontology

Content Provider	Springer Nature Link
Author	Hirankitti, Visit Mai, Trang Xuan
Copyright Year	2012
Abstract	A 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.
Starting Page	293
Ending Page	303
Page Count	11
File Format	PDF
ISSN	18685137
Journal	Journal of Ambient Intelligence and Humanized Computing
Volume Number	3
Issue Number	4
e-ISSN	18685145
Language	English
Publisher	Springer-Verlag
Publisher Date	2012-06-28
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Semantic web Ontologies Meta-logic Logic programming Artificial Intelligence (incl. Robotics) Robotics and Automation User Interfaces and Human Computer Interaction Computational Intelligence
Content Type	Text
Resource Type	Article
Subject	Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Generic environments for knowledge management and visualization

Semantic manipulation of user’s queries and modeling the health and nutrition preferences

Ambient e-Learning: a metacognitive approach

An ontology-driven context-aware recommender system for indoor shopping based on cellular automata

Providing relevant information in an ambient services using service requester’s “logical area”

Ontology-based office activity recognition with applications for energy savings

Loose ontological coupling and the Social Semantic Web

Building a smart campus to support ubiquitous learning

Personal information management based on semantic technologies

A meta-logical approach for reasoning with an OWL 2 ontology

Similar Documents

Generic environments for knowledge management and visualization

Semantic manipulation of user’s queries and modeling the health and nutrition preferences

Ambient e-Learning: a metacognitive approach

An ontology-driven context-aware recommender system for indoor shopping based on cellular automata

Providing relevant information in an ambient services using service requester’s “logical area”

Ontology-based office activity recognition with applications for energy savings

Loose ontological coupling and the Social Semantic Web

Building a smart campus to support ubiquitous learning

Personal information management based on semantic technologies

A meta-logical approach for reasoning with an OWL 2 ontology