A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems

Simple item page
dc.creatorPaschke, Adrian
dc.date2006-10-02
dc.date2007-04-03
dc.date.accessioned2026-07-07T07:54:48Z
dc.date.available2026-07-07T07:54:48Z
dc.descriptionIn this paper we elaborate on a specific application in the context of hybrid description logic programs (hybrid DLPs), namely description logic Semantic Web type systems (DL-types) which are used for term typing of LP rules based on a polymorphic, order-sorted, hybrid DL-typed unification as procedural semantics of hybrid DLPs. Using Semantic Web ontologies as type systems facilitates interchange of domain-independent rules over domain boundaries via dynamically typing and mapping of explicitly defined type ontologies.
dc.descriptionFull technical report 12/05. Published inn: Proc. of 2nd Int. Workshop on OWL: Experiences and Directions 2006 (OWLED'06) at ISWC'06, Athens, Georgia, USA, 2006
dc.identifierhttps://arxiv.org/abs/cs/0610006
dc.identifierhttp://arxiv.org/abs/cs/0610006
dc.identifierIn: Proc. of 2nd Int. Workshop on OWL: Experiences and Directions 2006 (OWLED'06) at ISWC'06, Athens, Georgia, USA, 2006
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/126750
dc.subjectArtificial Intelligence
dc.subjectF.3; H.2; I.2; D.2
dc.titleA Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems
dc.typetext

Files

Collections

arXiv