This document contains a proposal f

This document contains a proposal for a Semantic Web Rule Language (SWRL) based on a combination of the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language. SWRL includes a high-level abstract syntax for Horn-like rules in both the OWL DL and OWL Lite sublanguages of OWL. A model-theoretic semantics is given to provide the formal meaning for OWL ontologies including rules written in this abstract syntax. An XML syntax based on RuleML and the OWL XML Presentation Syntax as well as an RDF concrete syntax based on the OWL RDF/XML exchange syntax are also given, along with several examples.

ผลลัพธ์ (ไทย) 1:

เอกสารนี้ประกอบด้วยข้อเสนอสำหรับการตรรกเว็บกฎภาษา (SWRL) ตามชุดของ DL นกฮูกและนกฮูก sublanguages Lite ของนกฮูกเว็บภววิทยาภาษากับ sublanguages Datalog RuleML ตัว/ไบนารีของกฎภาษามาร์กอัป SWRL มีฮอร์นเหมือนกฎไวยากรณ์นามธรรมที่ระดับสูงทั้ง OWL DL และนกฮูก sublanguages Lite ของนกฮูก ความหมายรูปแบบสดได้ให้ความหมายอย่างเป็นทางการสำหรับนกฮูก ontologies รวมทั้งกฎที่เขียนในรูปแบบนามธรรมนี้ มีไวยากรณ์ XML ตาม RuleML และนกฮูก XML นำเสนอไวยากรณ์รวมทั้งไวยากรณ์คอนกรีต RDF อิงไวยากรณ์แลกนกฮูก RDF/XML ยังได้ พร้อมตัวอย่าง

ผลลัพธ์ (ไทย) 2:

เอกสารนี้มีข้อเสนอสำหรับเว็บกฎหมายภาษา (SWRL) ตามการรวมกันของนกฮูกและนกฮูก DL Lite ภาษาย่อยของนกฮูกอภิปรัชญาเว็บภาษากับเอก / ภาษาย่อยไบนารี Datalog RuleML กฎ Markup Language เป็น SWRL รวมถึงระดับสูงไวยากรณ์นามธรรมกฎฮอร์นเหมือนในทั้งนกฮูกและนกฮูก DL Lite ภาษาย่อยของนกฮูก ความหมายรูปแบบตามทฤษฎีจะได้รับการให้ความหมายอย่างเป็นทางการสำหรับจีส์นกฮูกรวมทั้งกฎระเบียบที่เขียนในไวยากรณ์นามธรรมนี้ ไวยากรณ์ XML ขึ้นอยู่กับ RuleML และนกฮูก XML การนำเสนอไวยากรณ์เช่นเดียวกับไวยากรณ์คอนกรีต RDF อยู่บนพื้นฐานของ / XML ไวยากรณ์แลกเปลี่ยนนกฮูก RDF ยังจะได้รับพร้อมกับหลายตัวอย่าง

ผลลัพธ์ (ไทย) 3:

เอกสารนี้มีข้อเสนอสำหรับเว็บเชิงความหมายกฎภาษา ( swrl ) ขึ้นอยู่กับการรวมกันของนกฮูก ( นกฮูกนกฮูก Lite sublanguages ของเว็บภาษาอภิปรัชญากับนารี / ไบนารีข้อมูลคืน ruleml sublanguages กฎของภาษามาร์กอัป . swrl รวมถึงไวยากรณ์นามธรรมระดับสูงสำหรับเขา เช่น กฎระเบียบทั้งในและ sublanguages นกฮูกนกฮูก DL Lite ของนกฮูก แบบจำลองทฤษฎีอรรถศาสตร์จะได้รับการให้ความหมายอย่างเป็นทางการสำหรับนโทโลจีนกฮูกรวมทั้งกฎที่เขียนในไวยากรณ์บทคัดย่อนี้ เป็นไวยากรณ์ XML และ XML ตาม ruleml นกฮูกนำเสนอไวยากรณ์เช่นเดียวกับ RDF คอนกรีตไวยากรณ์ตามนกฮูก RDF / XML ตราไวยากรณ์ได้รับพร้อมกับตัวอย่างหลาย