Filters








143,415 Hits in 4.1 sec

Combining Description Logics, Description Graphs, and Rules [chapter]

Boris Motik
2009 Lecture Notes in Computer Science  
Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in  ...  To address this problem, we propose an extension of DL languages with description graphs-a modeling construct that can accurately describe objects whose parts are connected in arbitrary ways.  ...  It allows us, for example, to describe the structure of the hand using description graphs, statements such as "if a bone in the hand is fractured, then the hand is fractured as well" using rules, and nonstructural  ... 
doi:10.1007/978-3-642-04222-5_3 fatcat:vwv2pnrninhtvjhfrrhq5yk5ca

Modelling Structured Domains Using Description Graphs and Logic Programming [chapter]

Despoina Magka, Boris Motik, Ian Horrocks
2012 Lecture Notes in Computer Science  
A combination of rules and description graphs (DGs) has been proposed as a possible solution, but it still exhibits several drawbacks.  ...  Syntactically, our approach combines DGs, rules, and OWL 2 RL axioms, but its semantics is defined via a translation into logic programs under stable model semantics.  ...  In our previous work, we considered a combination of OWL 2, rules, and description graphs (DGs) [20]-a graphical notation for describing non-tree-like structures.  ... 
doi:10.1007/978-3-642-30284-8_29 fatcat:rrwe2gyiz5coraomqscta3pise

Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules [chapter]

Harold Boley
2013 Lecture Notes in Computer Science  
Ontologies and rules have used extended logics for knowledge representation such as description logic, object/frame logic, higher-order logic, and modal logic.  ...  It proceeds from simple to extended graphs for logics needed in AI and the Semantic Web.  ...  Also, to students of my course "Logical Foundations of Cognitive Science", triggering early Grailog development (https://www.ict.tuwien.ac.at/lva/Boley_LFCS/index.html), and to students of "Semantic Web  ... 
doi:10.1007/978-3-642-39617-5_9 fatcat:ljxdms2iujdjxe4wu27a5qhtdi

Classifying Chemicals Using Description Graphs and Logic Programming

Despoina Magka, Boris Motik, Ian Horrocks
2012 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
Work supported by EU FP7 SEALS and EPSRC projects ConDOR, ExODA, and LogMap. 1  ...  An alternative approach suggests a combination of OWL 2, rules, and description graphs (DGs) [12] -a graphical notation for describing non-tree-like structures.  ...  To avoid misunderstandings, we refer to the formalism from [12] as DGDL (Description Graph Description Logics), and to the formalism presented in this paper as DGLP (Description Graph Logic Programs)  ... 
dblp:conf/owled/MagkaMH12 fatcat:p5obg6hxmjb6nkqfnlnflqqcnm

Overgenerating Referring Expressions Involving Relations and Booleans [chapter]

Sebastian Varges
2004 Lecture Notes in Computer Science  
We describe rule-based overgeneration of referring expressions based on the notion of 'extension', and show how to constrain the search space by interleaving logical form generation with realization and  ...  We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and negations.  ...  In contrast to the graph approach, we separate descriptions (logical forms) and domain model.  ... 
doi:10.1007/978-3-540-27823-8_18 fatcat:hoxr6cd2lnanxha6nnprfhgxye

Rules and Ontologies for the Semantic Web [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 Lecture Notes in Computer Science  
The next section provides some preliminaries, including RDF/RDF Schema and Description Logics as well as OWL.  ...  In Section 5, first general issues that come up in combining logic-based rules and ontologies are revisited in more detail; after that, three different generic settings for  ...  The issue of combining Rules with Description Logics The combination and extension of terminological concepts defined in a DL theory by means of rules is nowadays acknowledged as an important tool enriching  ... 
doi:10.1007/978-3-540-85658-0_1 fatcat:x75rrerlzvelbh7vpo6subgzru

A Hybrid DL and RL Based Reasoner for Optimum Entailments in Ontologies

Deepika Chaudhary, Jaiteg Singh, D. P. Kothari
2017 Indian Journal of Science and Technology  
Objective: To present a reasoner based on the hybrid approach which integrates the Description Logic (DL) reasoner with Rule Logic (RL) based reasoner for optimizing the reasoning process in ontology's  ...  It will thus call the Description Logic (DL) based reasoner for Tbox reasoning which will perform reasoning by classifying and realizing the elements of a given ontology.  ...  This approach combines the Declarative Semantics of Logic Programming with first order Semantics of Description Logic and has proposed that various reasoners can be built based on existing rule and OWL  ... 
doi:10.17485/ijst/2017/v10i23/111164 fatcat:pk76k252d5bj7ggesmd3tgtbz4

Architecture of an Active Life-Event Portal: A Knowledge-Based Approach [chapter]

Anamarija Leben, Marko Bohanec
2004 Lecture Notes in Computer Science  
life-events and (3) modified AND/OR graphs for the level of services.  ...  We propose architecture of an active life-event portal, which draws on knowledge-based concepts and methods. The portal consists of three main modules: logical, data and control.  ...  Therefore production rules and AND/OR graphs were considered as appropriate methods. We selected AND/OR graphs as they model combinations of parameters in a clear graphical form.  ... 
doi:10.1007/978-3-540-24683-1_16 fatcat:23snhejawnfuplxwaeyqzo3v7m

Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog

Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley
2013 Canadian Semantic Web Symposium  
Supported by the obtained visual graphs, users can more easily analyze the original symbolic logic rules.  ...  This is then translated to the Graphviz DOT language so that the Graphviz tool can render it visually as a Grailog graph with an object identifier and slots.  ...  INTRODUCTION The Semantic Web Rule Language (SWRL) [1] combines the sublanguages Web Ontology Language Description Logic (OWL DL) with the Unary/Binary Datalog RuleML sublanguage of the Rule Markup Language  ... 
dblp:conf/csws/AkbariYZB13 fatcat:dl6evs2fejcwvjj4quuqdr5pji

OWL and Rules [chapter]

Adila Krisnadhi, Frederick Maier, Pascal Hitzler
2011 Lecture Notes in Computer Science  
We finally give references to a large body of work on rules and OWL.  ...  More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules.  ...  Description graphs Description graphs [63, 67, 68, 69] extend DLs with first-order rules and graphs allowing the representation of structured objects (such as the bones of a hand) not otherwise expressible  ... 
doi:10.1007/978-3-642-23032-5_7 fatcat:2dl7wxljnbbx3lkd75rc6gwsxq

A grammar for hierarchical object descriptions in logic programs

Toufiq Parag, Claus Bahlmann, Vinay Shet, Maneesh Singh
2012 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops  
We show the practicality of the approach by an automatic compiler that translates example object grammars into a BLR logic program and applied it for detecting Graphical User Interface (GUI) components  ...  Although hierarchical object descriptions are preferred in high-level vision tasks for several reasons, BLR has been applied to non-hierarchical object grammars (compositional descriptions of object class  ...  Acknowledgements: The authors gratefully acknowledge help from Visvanathan Ramesh, Steve Masticola, Michael Gall and Roberto Suez of SCR.  ... 
doi:10.1109/cvprw.2012.6239171 dblp:conf/cvpr/ParagBSS12 fatcat:l5vjlsmub5dttaxbiju3b5ptiq

Data- and expert-driven rule induction and filtering framework for functional interpretation and description of gene sets

Aleksandra Gruca, Marek Sikora
2017 Journal of Biomedical Semantics  
During the rule induction and filtering processes such seed terms are used as a base on which the description is build.  ...  Results: In this study, we propose a comprehensive framework for the induction of logical rules in the form of combinations of Gene Ontology (GO) terms for functional interpretation of gene sets.  ...  Availability of data and materials All data generated or analyzed during this study are included in this published article [and its supplementary information files].  ... 
doi:10.1186/s13326-017-0129-x pmid:28651634 pmcid:PMC5483958 fatcat:7jvnjasifrb4zfsiscaqw62eyi

A Description and Reasoning of Plant Controllers in Temporal Logic

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
1983 International Joint Conference on Artificial Intelligence  
As a reasoning method, we present an w -graph approach which enables us to represent the dynamical behavior of a given system, and an automatic synthesis of control rules can be reduced to a simple decision  ...  procedure on the w -graph.  ...  In this way, we get the following desired control rules by combining with the above control rules altogether. V.  ... 
dblp:conf/ijcai/FusaokaST83 fatcat:juv66wabbvdtpjkc5eepkxs3iu

Three-dimensional information exchange over the semantic web for the domain of architecture, engineering, and construction

Pieter Pauwels, Davy Van Deursen, Jos De Roo, Tim Van Ackere, Ronald De Meyer, Rik Van de Walle, Jan Van Campenhout
2011 Artificial intelligence for engineering design, analysis and manufacturing  
It shows how semantic web technology allows the coexistence of diverse descriptions of the same 3-D information, interlinked through explicit conversion rules.  ...  In an exploratory double test case, we show how the specific deployment of semantic rule languages and an appropriate inference engine are to be adopted to improve this 3-D information exchange.  ...  ACKNOWLEDGMENTS This research is a combined effort of the UGent SmartLab and Multimedia Lab research groups, supported by the Interdisciplinary Institute for Broadband Technology and both the Department  ... 
doi:10.1017/s0890060411000199 fatcat:gd4clmwrxze5pa4fprd7l4ljli

Logics for the Semantic Web [chapter]

Pascal Hitzler, Jens Lehmann, Axel Polleres
2014 Handbook of the History of Logic  
Graph Protocol, and schema.org as a collaboration between major search engine providers including Microsoft, Google, and Yahoo!.  ...  logics, in this volume.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.1016/b978-0-444-51624-4.50016-2 fatcat:k2isj6tj2vb7nna2m2d3vndom4
« Previous Showing results 1 — 15 out of 143,415 results