Filters








8,769 Hits in 7.5 sec

NoHR: Querying EL with Non-monotonic Rules

Vadim Ivanov, Matthias Knorr, João Leite
2013 International Semantic Web Conference  
We present NoHR, a Protégé plug-in that allows the user to take an EL + ⊥ ontology, add a set of non-monotonic (logic programming) rules -suitable e.g. to express defaults and exceptions -and query the  ...  Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial brief pre-processing period utilizing  ...  Matthias Knorr and João Leite were partially supported by FCT funded project ERRO -Efficient Reasoning with Rules and Ontologies (PTDC/EIA-CCO/121823/2010) and Matthias Knorr also by FCT grant SFRH/BPD  ... 
dblp:conf/semweb/IvanovKL13 fatcat:qbfuxczl6rayvklvahc6ij4cnq

An Expert System for Water Quality Monitoring Based on Ontology [chapter]

Edmond Jajaga, Lule Ahmedi, Figene Ahmedi
2015 Communications in Computer and Information Science  
To infer new implicit knowledge from the knowledge bases different rule systems have been layered over ontologies by state-of-the-art WSN systems.  ...  A production rules system was developed to demonstrate how our ontology can be used to enable water quality monitoring.  ...  It enables incremental reasoning, non-monotonic and closed-world reasoning through translation of facts and rules into SQL tables and queries respectively.  ... 
doi:10.1007/978-3-319-24129-6_8 fatcat:c2ojqbkfa5dg3bteql3bolczlq

SweetProlog: A System to Integrate Ontologies and Rules [chapter]

Loredana Laera, Valentina Tamma, Trevor Bench-Capon, Giovanni Semeraro
2004 Lecture Notes in Computer Science  
This is achieved via a translation of OWL ontologies described in Description Logics and rules expressed in OWLRuleML into a set of facts and rules described in Prolog.  ...  This paper describes the design and implementation of Sweet-Prolog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on the Semantic Web.  ...  SweetProlog is implemented in Java and makes use of three languages: Prolog as a rule engine, OWL as a ontology language and OWLRuleML as a rule language that reasons over the data model of OWL, and a  ... 
doi:10.1007/978-3-540-30504-0_15 fatcat:k3uwjp2f3zd3do7kgs6g4qpovi

A Query Tool for $\mathcal{EL}$ with Non-monotonic Rules [chapter]

Vadim Ivanov, Matthias Knorr, João Leite
2013 Lecture Notes in Computer Science  
The tool itself builds on the procedure SLG(O) and, with the help of OWL 2 EL reasoner ELK, pre-processes the ontology into rules, whose result together with the non-monotonic rules serve as input for  ...  We present the Protégé plug-in NoHR that allows the user to take an EL + ⊥ ontology, add a set of non-monotonic (logic programming) rules -suitable e.g. to express defaults and exceptions -and query the  ...  DL ontologies and non-monotonic rules (see [24] ).  ... 
doi:10.1007/978-3-642-41335-3_14 fatcat:h6o6uyf6yzcjjahmv2o7z26elu

Supporting Metamodeling in Ontologies Using Rules

Haya Majid Qureshi, Wolfgang Faber
2020 International Web Rule Symposium  
This framework allows for effective reasoning and querying over the combined knowledge of ontology and rules.  ...  It rewrites the metamodeling features automatically into rules (M-rules) and strips them from the ontology.  ...  Our approach is to automatically remove and transform the metamodeling portions of an ontology into metamodeling-style non-monotonic rules (in short M-rules).  ... 
dblp:conf/ruleml/Qureshi020 fatcat:cvh5xcjyy5ehbpjn45k4d6ll6y

Semantic Legal Policies for Data Exchange and Protection across Super-Peer Domains in the Cloud

Yuh-Jong Hu, Win-Nan Wu, Kua-Ping Cheng, Ya-Ling Huang
2012 Future Internet  
Semantic legal policies are logic-based formal policies, which are shown to be a combination of OWL-DL ontologies and stratified Datalog rules with negation, i.e., so-called non-monotonic cq-programs,  ...  for policy representation and enforcement.  ...  A preliminary version of this paper appeared in the International Conference on Web Intelligence, Mining and Semantics (WIMS'12) [7] with the ACM DOI 10.1145/2254129.2254162 shown in the ACM digital  ... 
doi:10.3390/fi4040929 fatcat:t5olvm2f35a7ricvgnreqpi4a4

Knowledge Representation of Highly Dynamic Ontologies Using Defeasible Logic

2021 International Journal of Advanced Trends in Computer Science and Engineering  
The power of description logic can be accompanied by the defeasible logic to manage non-monotonic reasoning.  ...  In some domains, we need flexible reasoning and knowledge representation to deal the dynamicity of such domains.  ...  ACKNOWLEDGEMENT The author owes thanks and appreciations to Scientific Research Deanship at Isra University for facilitating procedures of conducting this research and the financial support to the underlying  ... 
doi:10.30534/ijatcse/2021/661022021 fatcat:qxggim4dybf3joqawx2yyhthha

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
The ontology layer of the semantic web is now mature enough (i.e. standards like RDF, RDFs, OWL, OWL 2) and the next step is to work on a logic layer for the development of advanced reasoning capabilities  ...  Rules are a means of expressing business processes, policies, contracts etc but most of the studies have focused on the use of monotonic logics in layered development of the semantic web which provides  ...  This draws our attention to new kinds of rules known as non-monotonic rules or defeasible rules.  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm

Non-monotonocity in OrBAC through default and exception policy rules

Seyyed Ahmad Javadi, Morteza Amini, Rasool Jalili
2012 2012 9th International ISC Conference on Information Security and Cryptology  
Along with the use of DL to define ontology for main entities and context information in OrBAC; MKNF + rules are used to define access control, default, and exception policy rules.  ...  The proposed model inherits the advantages of ontological representation of OrBAC entities and context information (such as interoperability among systems) as well as the ASP advantages in non-monotonic  ...  to express integrity constraints • Lack of support for non- monotonic reasoning (i.e.  ... 
doi:10.1109/iscisc.2012.6408196 fatcat:4cx2mcmidvd5dgz2flxqviawme

Mobile services discovery framework using DBpedia and non-monotonic rules

Nasredine Cheniki, Abdelkader Belkhir, Yacine Atif
2016 Computers & electrical engineering  
Mobile services discovery framework using DBpedia and non-monotonic rules. Abstract Mobile services are in constant evolution thanks to mobile device performances and advances in wireless networks.  ...  This approach enables a semantic-based matching process using the resources, concepts and categories of DBpedia, as well as a ranking mechanism using non-monotonic rules to allow users defining alternative  ...  This component uses a rules reasoner engine that provides monotonic and non-monotonic rules inference service.  ... 
doi:10.1016/j.compeleceng.2016.02.016 fatcat:rke7jwpvkjc3lcqzyp7cvj632m

Combining Rules and Ontologies via Parametrized Logic Programs

Ricardo Gonçalves
2015 International Joint Conference on Artificial Intelligence  
In this paper we explore the use of description logics as parameter logics, and show the expressivity of this framework for combining rules and ontologies.  ...  head of rules.  ...  We will then illustrate the expressivity of the resulting framework to combine non-monotonic rules and ontologies.  ... 
dblp:conf/ijcai/Goncalves15 fatcat:yfdjb6so7zci5jeo5x2redppxq

Axiom-Based Feedback Cycle for Relation Extraction in Ontology Learning from Text

Witold Abramowicz, Maria Vargas-Vera, Marek Wisniewski
2008 2008 19th International Conference on Database and Expert Systems Applications  
The ontology learning from text cycle consists of the consecutive phases of term, synonym, concept, taxonomy and relation extraction.  ...  The lessons indicate that the approach is complementary to supervised relation extraction methods and can be used in conjunction with them as a mean to bootstrap an initial ontology.  ...  list. 5) New axioms are added to the non-monotonic ontology model.  ... 
doi:10.1109/dexa.2008.134 dblp:conf/dexaw/AbramowiczVW08 fatcat:bvnpppmy5bhppghtsuk4nwlcha

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.  ...  Natasha Alechina for her valuable and constructive comments on earlier drafts of the manuscript.  ... 
arXiv:1903.11723v1 fatcat:pzeaqxafkbaufokabs6vqzwwcu

Ontology-Enriched Data Management with Partially Complete Data

Sanja Pavlovic
2019 International Web Rule Symposium  
Finally, we develop formalisms based on DLs with CWA to reason about actions and change.  ...  Our primary focus will be on characterizing computational complexity and relative expressiveness of ontology-mediated queries in the presence of closed predicates, but we also plan to investigate the interactions  ...  Acknowledgements This thesis is supervised by Magdalena Ortiz and Mantas Šimkus and it is funded by the FWF projects P30360, P30873 and W1255.  ... 
dblp:conf/ruleml/Pavlovic19 fatcat:6k7lcbkchbelraqelcu33frpry

Extending NoHR for OWL 2 QL

Nuno Costa, Matthias Knorr, João Leite
2015 International Joint Conference on Artificial Intelligence  
The Protégé plug-in NoHR allows the user to combine an OWL 2 EL ontology with a set of nonmonotonic (logic programming) rules -suitable, e.g., to express defaults and exceptions -and query the combined  ...  In this paper, we provide the nontrivial solution for the extension of NoHR to OWL 2 QL by directly translating the ontology into rules without any prior pre-processing or classification.  ...  Our main contributions are: • A procedure for translating DL-Lite R ontologies into rules which allows answering queries over hybrid KBs combining such ontologies and non-monotonic rules; • An substantial  ... 
dblp:conf/ijcai/CostaKL15 fatcat:72v7jq34ljbormnlzkotvvtaxi
« Previous Showing results 1 — 15 out of 8,769 results