A meta-reasoning approach for reasoning with SWRL ontologies

Simple item page
dc.contributor.authorHirankitti, Visit
dc.contributor.authorTrang, Mai Xuan
dc.date.accessioned2026-08-06T10:02:32Z
dc.date.available2026-08-06T10:02:32Z
dc.date.issued2011-07-26
dc.description.abstractSWRL 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.
dc.identifier.citationImecs 2011 International Multiconference of Engineers and Computer Scientists 2011, 1, 112-117, 2011
dc.identifier.other2-s2.0-79960576656
dc.identifier.urihttps://dspace.kmitl.ac.th/handle/123456789/3694
dc.sourceImecs 2011 International Multiconference of Engineers and Computer Scientists 2011
dc.subjectLogic programming
dc.subjectMeta-logic
dc.subjectOntology
dc.subjectRules
dc.subjectSemantic web
dc.titleA meta-reasoning approach for reasoning with SWRL ontologies
dc.typeConference Paper

Files

Collections

Research