久久建筑網(wǎng)(m.i5h4u.cn)致力打造一個(gè)專業(yè)的建筑學(xué)習(xí)分享平臺(tái)！ 用戶登錄 免費(fèi)注冊(cè) | 投訴舉報(bào) | 會(huì)員中心 | 上傳資料
您現(xiàn)在的位置： > 電氣 > 電力文件 > >>

Finding All Justifications of OWL DL.pdf

資料評(píng)價(jià)：
☆☆☆☆☆
生成時(shí)間：
2021-08-06
下載權(quán)限：
免費(fèi)會(huì)員
文件大小：
639.8KB
文件類型：
.pdf
瀏覽次數(shù)：
2
建筑論壇：
m.i5h4u.cn
上傳會(huì)員：
花非花
所屬欄目：
電力文件
下載地址：
前往下載
資料是由會(huì)員“花非花”上傳到本平臺(tái)，如有不妥請(qǐng)聯(lián)系客服。違規(guī)侵權(quán)投訴
Finding All Justifications of OWL DL ，Abstract. Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient t...歡迎下載！
FindingAllJusticationsofOWLDL Entailments AdityaKalyanpur1,BijanParsia2,MatthewHorridge2,andEvrenSirin3 1IBMWatsonResearchCenter,19SkylineDrive,HawthorneNY10532,USA adityakal@us.ibm 2SchoolofComputerScience,UniversityofManchester,UK {bparsia,matthew.horridge}@cs.man.ac.uk 3Clark&ParsiaLLC,WashingtonDC,USA evren@clarkparsia Abstract.Findingthejusticationsofanentailment(thatis,allthe minimalsetofaxiomssucienttoproduceanentailment)hasemergedas akeyinferenceservicefortheWebOntologyLanguage(OWL).Justica- tionsareessentialfordebuggingunsatisableclassesandcontradictions. Theavailabilityofjusticationsasexplanationsofentailmentsimproves theunderstandabilityoflargeandcomplexontologies.Inthispaper,we presentseveralalgorithmsforcomputingallthejusticationsofanen- tailmentinanOWL-DLOntologyandshow,byanempiricalevaluation, thatevenareasonerindependentapproachworkswellonrealontologies. Keywords:OWLOntologyExplanation,Debugging,Justications. 1Introduction SinceOWLbecameaW3Cstandard,therehasbeenanotableincreaseinthe numberofpeoplethatareattemptingtobuild,extendanduseontologies.To someextent,theprovisionofeditingenvironments,visualizationtoolsandrea- sonershashelpedcatalysethis.Intraditionalontologyeditingenvironments, usersaretypicallyabletocreateontologiesandu
  Finding All Justifications of OWL DL 下載地址
進(jìn)入下載地址列表

猜你還喜歡

  • The Modified Force-Density Method for Form-finding
    所屬分類：基礎(chǔ)科學(xué)
    更新時(shí)間：2021-07-03
    瀏覽次數(shù)：2
    The Modified Force-Density Method for Form-findingThe Modified Force-Density Method for Form-finding of membrane structures,星載網(wǎng)狀天線結(jié)構(gòu)的設(shè)計(jì)已經(jīng)成為宇航界學(xué)者的研究熱點(diǎn)之一。其中最核心的結(jié)構(gòu)設(shè)計(jì)為索網(wǎng)預(yù)張力與型面網(wǎng)格劃。
    立即下載
  • The Pleasure of Finding Things Out - The Best Shor
    所屬分類：基礎(chǔ)科學(xué)
    更新時(shí)間：2021-06-29
    瀏覽次數(shù)：0
    The Pleasure of Finding Things Out - The Best ShorThe Pleasure of Finding Things Out - The Best Short Works of Richard P Feynman.epub,Authors: Richard Feynman, Carl Feynman。
    立即下載
  • Debugging - The 9 Indispensable Rules for Finding
    所屬分類：網(wǎng)絡(luò)技術(shù)
    更新時(shí)間：2021-06-16
    瀏覽次數(shù)：33
    Debugging - The 9 Indispensable Rules for Finding Debugging - The 9 Indispensable Rules for Finding Even the Most Elusive Problems,調(diào)試九法 英文版。
    立即下載
  • The.Web.Application.Hackers.Handbook.Finding.and.E
    所屬分類：網(wǎng)絡(luò)技術(shù)
    更新時(shí)間：2021-06-16
    瀏覽次數(shù)：0
    The.Web.Application.Hackers.Handbook.Finding.and.EThe.Web.Application.Hacker's.Handbook.Finding.and.Exploiting.Security.Flaws,.2ed,The Web Application.Hacker's Handbook Finding and Exploiting Security Flaws, 2ed。
    立即下載
  • Finding_Nemo
    所屬分類：網(wǎng)絡(luò)技術(shù)1
    更新時(shí)間：2021-06-29
    瀏覽次數(shù)：0
    Finding_NemoFinding_Nemo,java 小游戲。
    立即下載
  • Finding Collisions in the Full SHA-1
    所屬分類：網(wǎng)絡(luò)技術(shù)1
    更新時(shí)間：2021-07-14
    瀏覽次數(shù)：0
    Finding Collisions in the Full SHA-1Finding Collisions in the Full SHA-1,計(jì)算機(jī)相關(guān)水印和密碼學(xué)。
    立即下載
  • Finding MD5 Collision-a Toy For a Notebook
    所屬分類：網(wǎng)絡(luò)技術(shù)1
    更新時(shí)間：2021-05-05
    瀏覽次數(shù)：0
    Finding MD5 Collision-a Toy For a NotebookFinding MD5 Collision-a Toy For a Notebook,MD5的相關(guān)研究。
    立即下載
  • (Wiley Finance 102)Finding Alpha-The Search for Al
    所屬分類：經(jīng)濟(jì)金融
    更新時(shí)間：2021-06-11
    瀏覽次數(shù)：3
    (Wiley Finance 102)Finding Alpha-The Search for Al(Wiley Finance 102)Finding Alpha-The Search for Alpha When Risk and Return Break Down,Wiley Finance 金融全系列。
    立即下載
  • How to Measure Anything Finding the Value of Intan
    所屬分類：財(cái)會(huì)稅務(wù)
    更新時(shí)間：2021-06-06
    瀏覽次數(shù)：0
    How to Measure Anything Finding the Value of IntanHow to Measure Anything Finding the Value of Intangibles in Business.PDF,This insightful and engaging book shows you how to measure those things in your business that until 。
    立即下載
  • Finding Groups in Data An Introduction to Cluster
    所屬分類：財(cái)會(huì)稅務(wù)
    更新時(shí)間：2021-06-06
    瀏覽次數(shù)：2
    Finding Groups in Data An Introduction to Cluster Finding Groups in Data An Introduction to Cluster Analysis ,信息工具，數(shù)據(jù)分析。
    立即下載
  • Job seekers are finding jobs in Asia
    所屬分類：學(xué)習(xí)資料2
    更新時(shí)間：2021-05-26
    瀏覽次數(shù)：3
    Job seekers are finding jobs in AsiaJob seekers are finding jobs in Asia,hechen719719@sina。 表格 ?
    立即下載
  • Unit 3 Book 11 Finding the correct perspective
    所屬分類：學(xué)習(xí)資料
    更新時(shí)間：2021-05-25
    瀏覽次數(shù)：2
    Unit 3 Book 11 Finding the correct perspectiveUnit 3 Book 11 Finding the correct perspective。 表格網(wǎng)格型 知識(shí)目標(biāo) 生 僻 詞 匯 策略；神話；虛構(gòu)的理念或故事；和諧；融洽；議程表；間隔；間歇；一段活動(dòng)的時(shí)間課程研究生高等�？圃盒�；研究院；學(xué)術(shù)團(tuán)體替
    立即下載
  • Wayfinding_Signage_Design_Drawings標(biāo)識(shí)設(shè)計(jì)
    所屬分類：其他資料2
    更新時(shí)間：2021-08-23
    瀏覽次數(shù)：0
    Wayfinding_Signage_Design_Drawings標(biāo)識(shí)設(shè)計(jì)Wayfinding_Signage_Design_Drawings標(biāo)識(shí)設(shè)計(jì).pdf
    立即下載
建筑工程： 施工組織設(shè)計(jì) 圖紙 論文 方案 安全資料 工藝 建筑軟件 節(jié)能 專業(yè)資料 合同 交底 文本 建筑考試 教程
園林景觀： 園林施工方案 園林論文 園林考試 園林表格 景觀專業(yè)資料 園林圖紙 景觀設(shè)計(jì)
暖通空調(diào)： 暖通專業(yè)資料 暖通軟件 技術(shù)交底 暖通論文 暖通考試 暖通圖紙 暖通施工方案 暖通軟件
水利工程： 水利施工方案 水利考試 水利專業(yè)資料 水利軟件 水利論文
結(jié)構(gòu)工程： 結(jié)構(gòu)施組方案 結(jié)構(gòu)圖紙 結(jié)構(gòu)軟件 結(jié)構(gòu)課件 工藝工法 結(jié)構(gòu)考試 結(jié)構(gòu)專業(yè)資料 結(jié)構(gòu)論文 其他資料
電氣工程： 電氣施工方案 電氣圖紙 電氣軟件 電氣論文 電氣課件 智能建筑 電氣專業(yè)資料 電氣考試
建筑給排： 給排施組方案 技術(shù)交底 給排水專業(yè)資料 污水處理 消防工程 給排水圖紙 給排水論文 給排水軟件
安裝工程： 設(shè)備安裝圖紙 安裝工程專業(yè)資料 安裝施組設(shè)計(jì) 專題
工程造價(jià)： 造價(jià)法規(guī) 造價(jià)視頻 造價(jià)指標(biāo) 建筑造價(jià) 造價(jià)考試 水利造價(jià) 電力造價(jià) 裝修造價(jià) 其他 安裝造價(jià) 路橋造價(jià) 市政造價(jià) 園林造價(jià) 造價(jià)軟件 造價(jià)表格 清單實(shí)例
工程監(jiān)理： 監(jiān)理交底 施工監(jiān)理 監(jiān)理文檔 旁站監(jiān)理 監(jiān)理考試 合同表格 監(jiān)理細(xì)則 監(jiān)理大綱 監(jiān)理總結(jié) 監(jiān)理月報(bào) 監(jiān)理規(guī)劃
路橋工程： 合同表格 路橋工藝 路橋論文 路橋交底 安全資料 路橋標(biāo)書 路橋?qū)I(yè)資料 路橋軟件 其他資料 路橋圖紙 路橋施工方案 路橋考試
裝飾裝修： 裝修施工方案 裝修圖紙 室內(nèi)設(shè)計(jì) 施工工藝 裝修技術(shù)交底 裝修表格 裝修資料 建筑文庫(kù)