Filters








29,207 Hits in 6.1 sec

An Extension to OWL with General Rules [chapter]

Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin
2004 Lecture Notes in Computer Science  
In this paper, we propose an extension to OWL with more general rules involving not only atoms but also literals with classical negation and negation as failure.  ...  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.  ...  Conclusion We have presented an extension to OWL with general rules, namely extended ontology.  ... 
doi:10.1007/978-3-540-30504-0_12 fatcat:6w5xgmqnjffypjca2zrlfjqdy4

F-OWL: An Inference Engine for Semantic Web [chapter]

Youyong Zou, Tim Finin, Harry Chen
2004 Lecture Notes in Computer Science  
F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining frame-based systems in logic.  ...  F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and compare it with other description logic based approaches.  ...  Conclusion This paper describes the design and implementation of F-OWL, an inference engine for OWL language. F-OWL uses a Frame-based System to reason with OWL ontologies.  ... 
doi:10.1007/978-3-540-30960-4_16 fatcat:in24iaarkfdqxlw2vhktphmf64

A multifaceted semantic web service description of the pervasive information system

Fatma Achour, Anis Jedidi, Faiez Gargouri
2009 INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY  
In the literature, more research works strive to combine the contextual description with the web service description using the OWL-S structure.In fact, the main objective of this paper is to propose structures  ...  This description is based on the generic model for the pervasive system design. We, also, suggest integrating such a description into the OWL-S structure.  ...  The OWL-S extension to describe the Physical Context (OWL-SPHC) The suggested OWL-S extension of the physical Context is an ontology that describes the user physical context as well as the set of devices  ... 
doi:10.24297/ijct.v8i2.3393 fatcat:4bjcunfjlvd3fllwd6cqwytoxy

EXPERIMENTAL INVESTIGATION OF TRANSFORMATIONS FROM SBVR BUSINESS VOCABULARIES AND BUSINESS RULES TO OWL 2 ONTOLOGIES

Jaroslav Karpovič, Linas Ablonskis, Lina Nemuraitė, Bronius Paradauskas
2016 Information Technology and Control  
with nine SBVR business vocabularies and business rule sets with regards to the defined desirable criteria.  ...  The goal of the paper is to analyse the relevance of the proposed transformation from business vocabularies and business rules, based on Semantics of Business Vocabulary and Business Rules (SBVR), to the  ...  Acknowledgements The work is supported by the project VP1-3.1-ŠMM-10-V-02-008 "Integration of Business Processes and Business Rules on the Basis of Business Semantics" (20132015), which is funded by the  ... 
doi:10.5755/j01.itc.45.2.8873 fatcat:u5rmm3w7sveevouavvgs7eoayi

O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies [chapter]

Georgios Meditskos, Nick Bassiliades
2006 Lecture Notes in Computer Science  
Furthermore, very recently the Rule Interchange Format Working Group [18] has been formed to produce a core rule language plus extensions which together allow rules to be translated between rule languages  ...  However, before an existing rule system is used, careful design must be made on how OWL data and semantics are going to be treated in the host system.  ...  Hoolet has been extended to handle rules through the addition of a parser for an RDF rule syntax and an extension of the translator to handle rules, based on the semantics of SWRL rules.  ... 
doi:10.1007/11752912_27 fatcat:xhlfohpkwnbw5eh55i7n6tayka

SWRL-F

Tomasz Wiktor Wlodarczyk, Chunming Rong, Marting O'Connor, Mark Musen
2011 Proceedings of the International Conference on Web Intelligence, Mining and Semantics - WIMS '11  
We extend it with a SWRL-F ontology to enable fuzzy reasoning in the rule base.  ...  We introduce an extension of SWRL called SWRL-F that is based on SWRL rule language and uses SWRL's strong semantic foundation as its formal underpinning.  ...  It is an extension to SWRL that allows constructing fuzzy rules using lexical variables described it OWL-based ontology.  ... 
doi:10.1145/1988688.1988735 dblp:conf/wims/WlodarczykROM11 fatcat:gb3kcmxvsjchdfzexc5r5yto5a

The Semantic Web Rule Language Expressiveness Extensions-A Survey [article]

Abba Lawan, Abdur Rakib
2019 arXiv   pre-print
The Semantic Web Rule Language (SWRL) is a direct extension of OWL 2 DL with a subset of RuleML, and it is designed to be the rule language of the Semantic Web.  ...  In conclusion, the decidability requirement and usability of each expressiveness extension are evaluated towards an efficient inclusion into the OWL ontologies.  ...  Moreover, since SWRL formalism basically involves OWL constructs coupled with rule axioms, any OWL extension inherently results in a new SWRL extension.  ... 
arXiv:1903.11723v1 fatcat:pzeaqxafkbaufokabs6vqzwwcu

A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies [chapter]

Saartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer
2006 Lecture Notes in Computer Science  
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile for OWL DL.  ...  Based on this metamodel and profile, UML tools can be used for visual modeling of rule-extended ontologies.  ...  One of the most prominent proposals for an extension of OWL DL with rules is the Semantic Web Rule Language (SWRL, [9] ). SWRL proposes to allow the use of Horn-like rules together with OWL axioms.  ... 
doi:10.1007/11762256_24 fatcat:i2uyotzhhjen3atknn2lkbydey

The Comprehensive Mapping of Semantics of Business Vocabulary and Business Rules (SBVR) to OWL 2 Ontologies

J. Karpovič, G. Krikščiūnienė, L. Ablonskis, L. Nemuraitė
2014 Information Technology and Control  
The paper addresses the mentioned issue with regards to the transformation from SBVR into OWL 2.  ...  The SBVR can act as an interface between business participants and semantic technologies, such as OWL 2 that has developed means for describing ontological data and reasoning with them.  ...  Acknowledgements The work is supported by the project VP1-3.1-ŠMM-10-V-02-008 "Integration of Business Processes and Business Rules on the Basis of Business Semantics" (20132015), which is funded by the  ... 
doi:10.5755/j01.itc.43.3.6651 fatcat:y4h3ql6sivct7gynnxzawv5sui

Extending XQuery for Semantic Web Reasoning [chapter]

Jesús Manuel Almendros-Jiménez
2011 Lecture Notes in Computer Science  
In this paper we investigate an extension of the XQuery language for querying and reasoning with OWL-style ontologies.  ...  The proposed extension incorporates new primitives (i.e. boolean operators) in XQuery for the querying and reasoning with OWL-style triples in such a way that XQuery can be used as query language for the  ...  Acknowledgements The author would like to thank the anonymous referees for their insightful comments and suggestions.  ... 
doi:10.1007/978-3-642-20589-7_8 fatcat:5bsxefrsbbd33noi23qlpwptbm

Pellet: A practical OWL-DL reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2007 Journal of Web Semantics  
It has proven to be a reliable tool for working with OWL-DL ontologies and experimenting with OWL extensions.  ...  It has proven to be a reliable tool for working with OWL-DL ontologies and experimenting with OWL extensions.  ...  The authors would like to especially thank Edna Ruckhaus who implemented the AL-Log coupling as well as Ron Alford and Michael Grove for their contributions to the code.  ... 
doi:10.1016/j.websem.2007.03.004 fatcat:vdbsiwxsqjhz5ma3pwb3lckt5i

Pellet: A Practical OWL-DL Reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2007 Social Science Research Network  
It has proven to be a reliable tool for working with OWL-DL ontologies and experimenting with OWL extensions.  ...  It has proven to be a reliable tool for working with OWL-DL ontologies and experimenting with OWL extensions.  ...  The authors would like to especially thank Edna Ruckhaus who implemented the AL-Log coupling as well as Ron Alford and Michael Grove for their contributions to the code.  ... 
doi:10.2139/ssrn.3199351 fatcat:xmjjuwarpnh6pmntazbg3c5lza

A Realistic Architecture for the Semantic Web [chapter]

Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
2005 Lecture Notes in Computer Science  
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.  ...  In particular, we argue that there is a very important class of rule-based languages, with over thirty years of history and experience, which cannot be layered on top of OWL and must be included in the  ...  However, we will not deal with these extensions here. A fact is a special kind of a rule where the body part is an empty (hence, true) conjunction.  ... 
doi:10.1007/11580072_3 fatcat:lzxsws2csvbh5kgugu3iobbvwi

Reasoning on Hybrid Ontology Using Extended SWRL Rules

Souad Bouaicha, Zizette Boufaida
2014 Journal of Emerging Technologies in Web Intelligence  
The set of rules obtained from the extension of SWRL rules will be posted to Jess Engine using rewrite meta-rules.  ...  We propose an implementation of the method of extending SWRL rules with the adaptation of the different Object Oriented Techniques.  ...  19] Deductive Extension of OWL LD with rules Alloy [20] Deductive, Mapping Extension of OWL LD with rules We have led to the development of highly optimized systems that support efficient reasoning.  ... 
doi:10.4304/jetwi.6.1.3-8 fatcat:rwia2vcxancljgdd6a7rqkkmr4

Multilingual RDF and OWL [chapter]

Jeremy J. Carroll, Addison Phillips
2005 Lecture Notes in Computer Science  
Relating each language tag with classes of appropriately tagged literals allows this implicit ontology to be made explicit as an ontology in OWL in which every class in the ontology is a datarange.  ...  Further features of RFC3066bis such as the relationship with deprecated codes, language ranges and language tag fallback can be expressed in OWL.  ...  With these rules we note that it becomes impossible to mark up some texts in a very general way.  ... 
doi:10.1007/11431053_8 fatcat:exue3bqdkfhv7d7adkzgiqa4aq
« Previous Showing results 1 — 15 out of 29,207 results