Filters








34 Hits in 2.8 sec

A Protégé Plug-in for Defeasible Reasoning

Kody Moodley, Thomas Meyer, Ivan Varzinczak
unpublished
In particular, we present a plug-in for the Protégé ontology editor which implements these algorithms for OWL ontologies.  ...  Here we recast their definitions in a defeasible DL context and define algorithms for prototypical and presumptive reasoning in defeasible DL knowledge bases.  ...  This system, known as RaMP, has been packaged as a plug-in for the popular Protégé ontology editor. The plug-in is discussed in more detail in Section 4.  ... 
fatcat:3mb4rij2tjcytlbmulocvrqzbu

Semantically-enhanced authoring of defeasible logic rule bases in the semantic web

Efstratios Kontopoulos, Thetida Zetta, Nick Bassiliades
2012 Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics - WIMS '12  
The domain of application is defeasible logic, a type of logic that allows reasoning with incomplete and conflicting information and, as such, it can play an increasingly important role in a drastically  ...  This work presents S 2 DRREd, a software tool that introduces a supplementary level of semantic assistance during rule base development.  ...  For example, the SWRL Editor [11] is a Protégé-OWL plug-in for creating, authoring and editing documents containing SWRL rules that also allows interoperation with thirdparty inference engines through  ... 
doi:10.1145/2254129.2254199 dblp:conf/wims/KontopoulosZB12 fatcat:oa2u3ghebfflljr6plywjybtja

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources

Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
2017 Journal on spesial topics in mobile networks and applications  
A Protégé plug-in for rules extraction from distributed ontologies has been developed, which allows us to model context-aware agents using the notion of multi-context systems.  ...  This paper presents a conceptual framework and multi-agent model for context-aware decision support in dynamic smart environments based on heterogeneous knowledge sources.  ...  Development environment The development of Protégé plug-in is carried out in the Eclipse IDE for Protégé version 3.4.1. In order to develop a plug-in, there are quite a few steps involved.  ... 
doi:10.1007/s11036-017-0899-5 fatcat:qmbl37ajlfd7voj22ev7zznyaq

Conto: A Protégé Plugin for Configuring Ontologies

Andrew LeClair, Ridha Khedri
2016 Procedia Computer Science  
We introduce Conto, a Protégé plugin that overcomes this limitation by interpreting a concept as an abstract data type.  ...  However, the ontologies themselves present shortcomings in how they capture the definition of concepts of a domain.  ...  In addition to subsumption rules, defeasible reasoning aims to acquire defeasible subsumption rules 14 .  ... 
doi:10.1016/j.procs.2016.04.114 fatcat:pdlaoz33qrcl7lahtdzxnqohnu

Deploying defeasible logic rule bases for the semantic web

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2008 Data & Knowledge Engineering  
Defeasible reasoning, a rule-based approach to reasoning with incomplete and conflicting information, is a powerful tool in many Semantic Web applications.  ...  This paper presents VDR-DEVICE, a defeasible reasoning system, designed specifically for the Semantic Web environment.  ...  The Protégé SWRL Rule Editor [49] is an open-source rule editor for SWRL, developed as a plug-in to Protégé-OWL [52] .  ... 
doi:10.1016/j.datak.2008.02.005 fatcat:kybovim7vbdqjpaszql7oqkghu

VISUAL MODELING OF DEFEASIBLE LOGIC RULES WITH DR-VisMo

EFSTRATIOS KONTOPOULOS, NICK BASSILIADES, GRIGORIS ANTONIOU, ANNA SERIDOU
2008 International journal on artificial intelligence tools  
Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information.  ...  However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential.  ...  Acknowledgments This work was partially supported by a NON-EUROPE project (GSRT -05 NON EU 423), jointly funded by the European Union and the Greek Government (General Secretariat of Research and Technology  ... 
doi:10.1142/s0218213008004217 fatcat:2xxopao4prh53lpfcqzi2gjdgi

A legal case OWL ontology with an instantiation of Popov v. Hayashi

Adam Wyner, Rinke Hoekstra
2012 Artificial Intelligence and Law  
A populated ontology is a case base which can be used for information retrieval, information extraction, and case based reasoning.  ...  We use the Protégé ontology editor and knowledge acquisition system, current guidelines for ontology development, and tools for visual and linguistic presentation of the ontology. 1  ...  ACE View is a Protégé 4 plug in which is an ontology and rule editor that uses Attempto Controlled English (ACE) to create, view and edit OWL 2 ontologies and SWRL rulesets. 5 Attempto Controlled English  ... 
doi:10.1007/s10506-012-9119-6 fatcat:mf4o6h3gwzb4loq4mxtlynsin4

On Rational Closure in Description Logics of Typicality [article]

Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato
2013 arXiv   pre-print
We define the notion of rational closure in the context of Description Logics extended with a tipicality operator.  ...  We provide an ExpTime algorithm for computing the rational closure of an Abox and we show that it is sound and complete with respect to the minimal model semantics.  ...  In [18] a plug-in for the Protégé ontology editor implementing the mentioned algorithm for computing the rational closure for a TBox for OWL ontologies is described. Références [1] F.  ... 
arXiv:1305.1060v1 fatcat:7t2qzzlyojcxzczfs65gex2d6a

Logic-based technologies for multi-agent systems: a systematic literature review

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2020 Autonomous Agents and Multi-Agent Systems  
Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as "classical AI"—in particular, logic-based ones—will take place in the next few years.  ...  This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance.  ...  Technological notes: The ASTRA technology essentially consists of a plug-in for the Eclipse IDE.  ... 
doi:10.1007/s10458-020-09478-3 fatcat:4s2rhluwijan3abqq7dl2htiv4

FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services [chapter]

Nikos Armenatzoglou, Yannis Marketakis, Lito Kriara, Elias Apostolopoulos, Vicky Papavasiliou, Dimitris Kampas, Alexandros Kapravelos, Eythimis Kartsonakis, Giorgos Linardakis, Sofia Nikitaki, Antonis Bikakis, Grigoris Antoniou
2009 Lecture Notes in Computer Science  
Its special features include an ontology-based representation model, rule-based context-aware reasoning, and a novel positioning system for indoor environments.  ...  In this paper, we present FlexConf, a semantics-based system that supports location-based, personalized notification services for the assistance of conference attendees.  ...  For the reasoning tasks of our system, we used the Jena2 Java framework 3 . The Jena2 inference subsystem is designed to allow a range of inference engines or reasoners to be plugged into Jena.  ... 
doi:10.1007/978-3-642-05290-3_20 fatcat:luh7speyovazll2qkkg7rvkptq

A survey of formalisms for representing and reasoning with scientific knowledge

Anthony Hunter, Weiru Liu
2010 Knowledge engineering review (Print)  
In this paper, we review some of the significant proposals for formalisms for representing and reasoning with scientific knowledge.  ...  There appears to be much potential in developing tools to support a scientist in such endeavours, and automated reasoning technologies can potentially enable these tools to be efficient and effective.  ...  This standard incorporates a small family of description logics, and has resulted in a number of tools for constructing, managing, and reasoning with ontologies, in particular the open-source tool Protege  ... 
doi:10.1017/s0269888910000019 fatcat:ijdmd5gnobhxdjka2rjrrkztcq

Resolving conflicts in knowledge for ambient intelligence

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Šefránek, Alexander Šimko, Jozef Frtús, Dimitra Zografistou, Martin Baláž
2015 Knowledge engineering review (Print)  
In this survey, we relate AmI to the area of knowledge representation and reasoning (KR), where conflict resolution has been studied for a long time.  ...  reasoning.  ...  Acknowledgements This work resulted from the Slovak-Greek bilateral project "Multi-context Reasoning in Heterogeneous environments", registered on the Slovak side under no.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

DIP: A Defeasible-Inference Platform for OWL Ontologies

Thomas Meyer, Kody Moodley, Uli Sattler
unpublished
We present a defeasible-reasoning system for OWL ontologies demonstrating that we need not devise new decision procedures for certain preferential DLs.  ...  The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's.  ...  Kody Moodley is a Commonwealth Scholar, funded by the UK government.  ... 
fatcat:prurjzqodfhyxaxzlki7lszobu

A Formal Service Contract Model for Accountable SaaS and Cloud Services

Joe Zou, Yan Wang, Kwei-Jay Lin
2010 2010 IEEE International Conference on Services Computing  
In this paper, we propose a novel service contract model called OWL-SC for e-Services.  ...  An open issue is how to ensure accountability in business services offered through Internet. Traditionally a contract is an effective legal means to uphold accountability in business transactions.  ...  There is also a SWRLJessTab [22] plug-in available for Protégé 3.4.3, which can translate OWL facts to Jess facts and SWRL rules to Jess Rules.  ... 
doi:10.1109/scc.2010.85 dblp:conf/IEEEscc/ZouWL10 fatcat:qy5zax4crvfu3fk5mlnkct3wha

Rational Closure in SHIQ [article]

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 arXiv   pre-print
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23].  ...  We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models.  ...  We thank the anonymous referees for their helpful comments.  ... 
arXiv:1406.2023v1 fatcat:lqnep2nnq5egloiqpjl2dqoxza
« Previous Showing results 1 — 15 out of 34 results