Filters








428,266 Hits in 3.5 sec

Extending Description Logic Rules [chapter]

David Carral Martínez, Pascal Hitzler
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Description Logics -the logics underpinning the Web Ontology Language OWL -and rules are currently the most prominent paradigms used for modeling knowledge for the Semantic Web.  ...  We formally define a set of first order logic rules, C-Rules, which can be expressed within OWL extended with role conjunction.  ...  We specify a translation of rules into OWL extended by role conjunction (more precisely, the description logic SROIQ( ∃ )), which strengthens previously obtained such translations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30284-8_30">doi:10.1007/978-3-642-30284-8_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fb7ci3vog5hsffn4m5qckgyqhq">fatcat:fb7ci3vog5hsffn4m5qckgyqhq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502112859/https://link.springer.com/content/pdf/10.1007%2F978-3-642-30284-8_30.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7a/51/7a513c7a998bac5dd6e81528c1a1ae72306bc77b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30284-8_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Combining Existential Rules and Description Logics (Extended Version) [article]

Antoine Amarilli, Michael Benedikt
<span title="2015-05-02">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This work investigates how to get the best of both worlds: having decidable existential rules on arbitrary arity relations, while allowing rich description logics, including functionality constraints,  ...  Query answering is also decidable for description logics [Baa03], which further allow disjunction and functionality constraints (assert that certain relations are functions), however, they are focused  ...  Hence, description logics are very powerful languages for arity-two vocabularies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1505.00326v1">arXiv:1505.00326v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cr4c2stc3bdfrowzoyngcvawrm">fatcat:cr4c2stc3bdfrowzoyngcvawrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200908140943/https://arxiv.org/pdf/1505.00326v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/58/1c5895047f8c5e955345db59fc6cdea3e0270229.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1505.00326v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules [chapter]

Véronique Ventos, Pierre Brézellec, Henry Soldano
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The description logics used here, C-CLASSIC δ [23, 22] , extends C-CLASSIC with two non classical connectives (δ, ) used to represent default knowledge.  ...  F ly Inapt-to-fly → ⊥ 3 ) are used to extend the description of the examples prior to learning.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45402-0_13">doi:10.1007/3-540-45402-0_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ql5nzh77krgdfhqenmvntqqwzu">fatcat:ql5nzh77krgdfhqenmvntqqwzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050518190818/http://wwwabi.snv.jussieu.fr:80/people/soldano/LPNMR01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/6b/096bdf819b2a64b93511224854d54cfbad28fb53.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45402-0_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

$\mathcal{ALE}$ Defeasible Description Logic [chapter]

Pakornpong Pothipruk, Guido Governatori
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we extend ALC − Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic.  ...  Consequently, there is an urgent need to extend description logics with a non-monotonic part which can handle incomplete and inconsistent knowledge better than themselves.  ...  Our work is significant because it is a foundation to be extended to higher expressive non-monotonic description logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11941439_15">doi:10.1007/11941439_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6u5upuwt6bfslmbe3iqowtw5vm">fatcat:6u5upuwt6bfslmbe3iqowtw5vm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130507053934/http://espace.library.uq.edu.au/eserv.php?pid=UQ:7708&amp;dsID=stone-ai2006.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ca/87/ca87f85de90683dbf6ab5bd0205fa857d01d1082.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11941439_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Rules and Queries with Ontologies: A Unified Logical Framework [chapter]

Enrico Franconi, Sergio Tessaris
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The focus of this paper is in the context of Semantic Web (SW), but the approach can be applied in any Description Logics (DL) based system.  ...  In the last part, we will show how rules are strictly related to queries. We claim that any choice of rule language for the semantic web should clearly define its semantics.  ...  We are currently working on the specification of the OWL-Log rule-extended knowledge base language in the DL-Log approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30122-6_4">doi:10.1007/978-3-540-30122-6_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2mylhvs45jekznakbhsswmazpi">fatcat:2mylhvs45jekznakbhsswmazpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706061248/http://www.inf.unibz.it/krdb/events/dl-2007/dl-workshops/dl2005/20-franconi-tessaris.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/14/ea14b55a3be9672c2eb60a7bebe763503936e130.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30122-6_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Defeasible Description Logics [chapter]

Guido Governatori
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.  ...  Defeasible Description Logics In this section we show how to extend ALC − with defeasibility.  ...  Therefore only the ALC − subset of description logic has been extended with defeasibility (Section 4).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30504-0_8">doi:10.1007/978-3-540-30504-0_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a6q4hlxpczekdjuqijnbvr64re">fatcat:a6q4hlxpczekdjuqijnbvr64re</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050816164730/http://eprint.uq.edu.au:80/archive/00002195/01/ddl.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/d5/5ad512dee10c7126c058e7711a5cafb748136e8e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30504-0_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ODB-Tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases [chapter]

Sonia Bergamaschi, Claudio Sartori, Domenico Beneventano, Maurizio Vincini
<span title="">1997</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
OCDL: a description logic (DL) for database schema with integrity constraints OCDL (Object Constraints Description Language) is a new description logics 4], extending the expressiveness of traditional  ...  The rst one is the OCDL description logics proposed as a common formalism to express class descriptions, a relevant set of integrity constraints rules (IC rules) and queries.  ...  OCDL: a description logic (DL) for database schema with integrity constraints OCDL (Object Constraints Description Language) is a new description logics 4], extending the expressiveness of traditional  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-63576-9_130">doi:10.1007/3-540-63576-9_130</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/brelyhs7ffdljgww6ob6ntf33i">fatcat:brelyhs7ffdljgww6ob6ntf33i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705092427/https://static.aminer.org/pdf/PDF/000/033/601/odb_tools_a_description_logics_based_tool_for_schema_validation.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/ed/d1ed1de86b7eba5653e35f9b74eb09c8c78d48aa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-63576-9_130"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic [chapter]

Jidi Zhao, Harold Boley, Weichang Du
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended by an interval-based, normparameterized Fuzzy Logic.  ...  This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to  ...  Our fuzzy Description Logic fALCHIN extends fuzzy ALC taking into account inverse roles, role inclusion axioms, and number restrictions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04020-7_13">doi:10.1007/978-3-642-04020-7_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mwnoet4pcvcxfacutdko5bqdmy">fatcat:mwnoet4pcvcxfacutdko5bqdmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428151250/https://nrc-publications.canada.ca/eng/view/accepted/?id=5ba5ec6d-6935-439a-a278-6f1f0449b827" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/48/2548a5859726d2205bd188c3c360a3a06e67b40d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04020-7_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Merging and Aligning Ontologies in dl-Programs [chapter]

Kewen Wang, Grigoris Antoniou, Rodney Topor, Abdul Sattar
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
It allows to build answer set programming (ASP) on top of description logic and thus some attractive features of ASP can be employed in the design of the Semantic Web architecture.  ...  This language is a combination of the description logic SAL and extended logic programs, which allows to build logic programs on top of description logic (and thus some description logic-based web ontology  ...  Extended Logic Programs We deal with extended logic programs [9] whose rules are built from some atoms where default negation not and strong negation ¬ are allowed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11580072_13">doi:10.1007/11580072_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2rgc4px3off23anrwx2abrhprm">fatcat:2rgc4px3off23anrwx2abrhprm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808235712/http://rewerse.net/publications/download/REWERSE-RP-2005-102.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/25/9a254e91b1bac7cd567c517a39cf6b11daa032f3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11580072_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Recent Advances in Integrating OWL and Rules (Technical Communication) [chapter]

Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila A. Krisnadhi, Frederick Maier, Cong Wang
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Rule-Extensions of OWL In [4], Grosof et al. describe a fragment of the description logic SHOIN (a.k.a.  ...  rule-based approaches based on logic programming.  ...  Rule-Extensions of OWL In [4] , Grosof et al. describe a fragment of the description logic SHOIN (a.k.a.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33203-6_20">doi:10.1007/978-3-642-33203-6_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l2l6wjeopvaalpiek33j2sqko4">fatcat:l2l6wjeopvaalpiek33j2sqko4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108023440/http://knoesis.wright.edu/faculty/pascal/pub/rr12tc.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/61/76/61769fe034218d62faf5d3e0a91dafb065d56ffa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-33203-6_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics [chapter]

Jidi Zhao, Harold Boley
<span title="">2010</span> <i title="Springer US"> Canadian Semantic Web </i> &nbsp;
To overcome this deficiency, this paper extends a standard Description Logic to a family of norm-parameterized Fuzzy Description Logics.  ...  The paper then focuses on a procedure for reasoning with knowledge bases in the proposed Fuzzy Description Logics.  ...  In this paper, in order to extend standard DLs with Fuzzy Logic in a broad sense, we propose a generalized form of norm-parameterized Fuzzy Description Logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4419-7335-1_2">doi:10.1007/978-1-4419-7335-1_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6dlfl3w4kjcermhvspf7x47etm">fatcat:6dlfl3w4kjcermhvspf7x47etm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170725195942/http://nparc.cisti-icist.nrc-cnrc.gc.ca/eng/view/accepted/?id=1b0d8b15-fd9a-41e7-bbed-886b35fdf34c" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/d8/24d82a8b7edea6b09c332c89968e9ccbe13a7f5b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4419-7335-1_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules [chapter]

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the context of current efforts around Semantic-Web languages, the combination of classical theories in classical first-order logic (and in particular of ontologies in various description logics) with  ...  rule languages rooted in logic programming is receiving considerable attention.  ...  [HNV05] uses extended conceptual logic programs to reason with expressive description logics combined with DL-safe rules.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11811220_1">doi:10.1007/11811220_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p3kdmphjz5hhtotgthfuvdofv4">fatcat:p3kdmphjz5hhtotgthfuvdofv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130719093017/http://rewerse.net/publications/download/REWERSE-RP-2006-159.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4d/a8/4da8b394968cd29107e6a860e6584da54a6135d3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11811220_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Realistic Architecture for the Semantic Web [chapter]

Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The class of languages we are after includes rules in the Logic Programming style, which support default negation.  ...  We briefly survey the logical foundations of these languages and then discuss an interoperability framework in which such languages can co-exist with OWL and its extensions.  ...  SWRL is a new technology, which extends OWL-DL and permits the use of Description Logic with certain kinds of rules.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11580072_3">doi:10.1007/11580072_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lzxsws2csvbh5kgugu3iobbvwi">fatcat:lzxsws2csvbh5kgugu3iobbvwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722005333/http://nparc.nrc-cnrc.gc.ca/eng/view/accepted/?id=e49e1658-15f4-4d0f-9aac-e96740c6315d" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/fb/fafbad4fcf134d4c95f5de3f66485b3d84e8bea3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11580072_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Extension to OWL with General Rules [chapter]

Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In Semantic Web, using rules to add more expressive power has drawn considerable attention. Recently ORL (OWL Rules Language) has been presented where OWL is extended with Horn clause rules.  ...  Furthermore, we discuss the iterative procedures for reasoning between OWL axioms and ASP rules.  ...  Writing with DL (Description Logic, the logical foundation of OWL), the axioms are Bird Flying and Penguin Bird.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30504-0_12">doi:10.1007/978-3-540-30504-0_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6w5xgmqnjffypjca2zrlfjqdy4">fatcat:6w5xgmqnjffypjca2zrlfjqdy4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051017064803/http://www.is.pku.edu.cn:80/~lz/publications/owlrule.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/39/2a/392a6e64fe5b7e486de7db41b392a830a937950a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30504-0_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Applying SWRL-F to intercloud constraints analysis

Tomasz Wiktor Wlodarczyk, Chunming Rong
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hfatt7tua5aatozu2id5rdeuti" style="color: black;">2011 International Conference on High Performance Computing &amp; Simulation</a> </i> &nbsp;
Resource description and constraints analysis emerges as a necessary element of intercloud interoperability and federation.  ...  The analysis suggests that fuzzy logic solution based on SWRL-F provides a useful balance between simplicity and expressivity.  ...  Description Logic (DL) and Web Ontology Language (OWL). Description Logic is formal knowledge representation language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hpcsim.2011.5999851">doi:10.1109/hpcsim.2011.5999851</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ieeehpcs/WlodarczykR11.html">dblp:conf/ieeehpcs/WlodarczykR11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/api3kqktx5h57f23gytamfs5oi">fatcat:api3kqktx5h57f23gytamfs5oi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810105117/http://www.intercloudtestbed.org/uploads/2/1/3/9/21396364/applying_swrl-f_to_intercloud_constraints_analysis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/91/09914bfc81297d7966be581ad2da5857e4b488cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hpcsim.2011.5999851"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 428,266 results