View
541
Download
1
Category
Preview:
DESCRIPTION
Presentation given by Rommel Carvalho at the First International Workshop on Uncertainty in Description Logics (UniDL) on Federated Logic Conference (FLoC) in 20 July 2010.
Citation preview
(Towards) Compatibility Formalization Between PR-OWL and OWLRommel Carvalho, Kathryn Laskey, and Paulo Costa
George Mason University
Paper - First International Workshop on Uncertainty in Description LogicsUniDL - FLoC 2010
Thursday, July 15, 2010
Agenda
2
Thursday, July 15, 2010
Agenda
Introduction
2
Thursday, July 15, 2010
Agenda
Introduction
Problem
2
Thursday, July 15, 2010
Agenda
Introduction
Problem
MEBN and PR-OWL
2
Thursday, July 15, 2010
Agenda
Introduction
Problem
MEBN and PR-OWL
Mapping Concepts
2
Thursday, July 15, 2010
Agenda
Introduction
Problem
MEBN and PR-OWL
Mapping Concepts
Using Existing Types
2
Thursday, July 15, 2010
Agenda
Introduction
Problem
MEBN and PR-OWL
Mapping Concepts
Using Existing Types
Conclusion
2
Thursday, July 15, 2010
Introduction
3Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Introduction
An ontology is [5] an explicit, formal knowledge representation that expresses knowledge about a domain of application. This includes:
Types of entities that exist in the domain;
Properties of those entities;
Relationships among entities;
Processes and events that happen with those entities;
where the term entity refers to any concept (real or fictitious, concrete or abstract) that can be described and reasoned about within the domain of application.
4Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
IntroductionA probabilistic ontology is [5] an explicit, formal knowledge representation that expresses knowledge about a domain of application. This includes:
Types of entities that exist in the domain;
Properties of those entities;
Relationships among entities;
Processes and events that happen with those entities;
Statistical regularities that characterize the domain;
Inconclusive, ambiguous, incomplete, unreliable, and dissonant knowledge related to entities of the domain;
Uncertainty about all the above forms of knowledge;
where the term entity refers to any concept (real or fictitious, concrete or abstract) that can be described and reasoned about within the domain of application.
5Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Introduction
6Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Introduction
MEBN
Represent and reason with uncertainty about any propositions that can be expressed in first-order logic
6Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Introduction
MEBN
Represent and reason with uncertainty about any propositions that can be expressed in first-order logic
PR-OWL
Uses MEBN logic to provide a framework for building probabilistic ontologies
6Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Introduction
MEBN
Represent and reason with uncertainty about any propositions that can be expressed in first-order logic
PR-OWL
Uses MEBN logic to provide a framework for building probabilistic ontologies
Simple fraud detection and prevention example for illustrating problems/solutions
6Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Problem
7Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Problem
8Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Problem
8Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Problem
8Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Problem
8
?
1. Mapping - winner2. Types - value
Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types - Conclusion
Thursday, July 15, 2010
MEBN and PR-OWL
9Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
MEBN
10Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
MEBN
10
BN + FOL [15]
Indices MFrag
Directed Procurement by Indices MFrag
Procurement Directed MFragProcurement Fraud Detection
MTheory [2]
Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types - Conclusion
Thursday, July 15, 2010
PR-OWL
11Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
PR-OWL
11
MEBN + OWL [5]
Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types - Conclusion
Thursday, July 15, 2010
Mapping Concepts
12Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - OWL to PR-OWL
13Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - OWL to PR-OWL
13Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - OWL to PR-OWL
13Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - PR-OWL to OWL
14Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - PR-OWL to OWL
14Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - PR-OWL to OWL
14Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concepts - PR-OWL to OWL
14Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concept Instance
15Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concept Instance
15Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concept Instance
15Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concept Instance
15Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Mapping Concept Instance
15Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Using Existing Types
16Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Using Existing Types
17Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Using Existing Types
17Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Using Existing Types
17Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Using Existing Types
17Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
18Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
19Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
ConclusionDescribed the main compatibility issues between PR-OWL and OWL
Lack of mapping between deterministic and probabilistic concepts
Lack of use of existing types
19Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
ConclusionDescribed the main compatibility issues between PR-OWL and OWL
Lack of mapping between deterministic and probabilistic concepts
Lack of use of existing types
Provided qualitative descriptions of possible solutions
Random Variable closely related to Properties
Substitution of PR-OWL’s types by OWL’s types
19Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
20Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
Future work
20Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
Future work
Define new syntax for PR-OWL 2
20Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
Future work
Define new syntax for PR-OWL 2
Define semantics for PR-OWL 2
20Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Conclusion
Future work
Define new syntax for PR-OWL 2
Define semantics for PR-OWL 2
Present problem and possible solutions for consistency checking between OWL axioms and PR-OWL local probability distributions
20Introduction - Problem - MEBN and PR-OWL - Mapping Concepts - Using Existing Types -
Conclusion
Thursday, July 15, 2010
Obrigado!
21
Thursday, July 15, 2010
Recommended