Wissenstechnologie Iv 08 09

Wissenstechnologie WS 08/09

Michael Granitzer

IWM TU Graz & Know-CenterIWM TU Graz & Know Center

Lect e 4 OWL Infe ence and

http://kmi tugraz at http://www know center at

Lecture 4: OWL, Inference andUpper Ontologies

http://kmi.tugraz.at http://www.know-center.atThis work is licensed under the Creative Commons Attribution 2.0 Austria License. To view a copy of this license, visit http://creativecommons.org/licenses/by/2.0/at/.

TodayToday

RDF Schema (RDFS)

Web Ontology Language (OWL)

OWL & LogicsOWL & Logics

2Example Ontologies

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Semantic Web Stack

a.k.a. SW Layer Cakey

a.k.a. SW Tower

WS 08/09

Semantic Web Stack

WS 08/09

RDF Statements (Triples)A small example

htt // iki di / iki/J h L http://dbpedia org/property/associatedActshttp://en.wikipedia.org/wiki/John_Lennon

http://en.wikipedia.org/wiki/The_Beatles

http://dbpedia.org/property/associatedActs

http://en.wikipedia.org/wiki/Paul_McCartney

rdfs:label

Subject Predicate Object

„Paul McCartney“

http://en.wikipedia.org/wiki/John_Lennon

5http://en.wikipedia.org/wiki/Paul_McCartney

http://en.wikipedia.org/wiki/P Rdfs:label “Paul McCartney”

WS 08/09

aul_McCartney

OntologiesWhat are Concepts in our purpose?What are Concepts in our purpose?

Semiotic Triangle [Ogden & Richards 1923]Semiotic Triangle [Ogden & Richards 1923]

Concept

Refers toSymbolizes

Term / Word/URI

St d fThing

6‚Apache‘

Stands for

WS 08/09

Ontologies & SemanticsExample: MammalExample: Mammal

IntensionIntension

•isA(Vertebrate Animal)•has(Sweat glands)

•withFunction(Milk)•withFunction(hair)

•....

Extension

•Elephant•Lion•Monkey

Monkey•....

WS 08/09

Summary of Definitions

A Ontology is a model (of the world)

A t l d ib ti l (k l d ) d iA ontology describes a particular (knowledge) domain

A ontologie defines words/terms/signs for describingConceptsConcepts

A ontologie puts concepts into relation to each other

A ontologie uses axioms to put constraints on particularconcepts

WS 08/09

Components of an OntologyComponents of an Ontology

Classes general things of a domainClasses general things of a domain

Instances special things of a domain

R l ti b t thiRelations between things

Properties of things

WS 08/09

Semantics & Communication

Language must allow to express the semantics in an Language must allow to express the semantics in an implementation/algorithmic independent way

Usually done via a Vocabulary

Topic oriented vocabulary (e.g. Friend of a friend)

Schema Knowledge/Terminological Knowledgeg g g

– Special vocabulary to make statements over topic orientedvocabulary (i.e. the termonologie used in a domain)

– A general set of rules independent of the domain– Defines the expressiveness of a language

WS 08/09

Semantic Web Stack

RDF Schema

WS 08/09

RDF Schema (RDFS)http://www w3 org/2000/01/rdf-schema#http://www.w3.org/2000/01/rdf-schema#

Allows to express terminological knowledge over RDFAllows to express terminological knowledge over RDF

Application of RDFS

Defines a new vocabulary for giving meaningDefines a new vocabulary for giving meaningindependent of program logic

Allows to define „lightweight“ Ontologies and basicg g gReasoning capabilities

http://www.w3.org/TR/rdf-schema/

WS 08/09

RDF SchemaClassesClasses

rdfs:Resource Class of all resources

rdfs:Literal Class of literals (Strings)rdfs:Literal Class of literals (Strings)

rdfs:Class Class of classes

rdf:Property Class of propertiesrdf:Property Class of properties

rdf:Statement Class of RDF Statements

WS 08/09

RDF SchemaPropertiesProperties

rdf:type Subject is an instance of a class

rdfs:subClassOf Subject is a subclass of a class

rdfs:subPropertyOf Subject is a sub property of a property

rdfs:domain A possible class for a subject of a property

rdfs:range A possible class for an object of a property

rdfs:label human readable label of an resource

rdfs:comment human readable comment of an resourcerdfs:comment human readable comment of an resource

WS 08/09

RDFS Semantics

Model based semantics: Model based semantics:

each triple is a sentence

A sentence is tr true, if the triple exists

Entailment: Given a graph the graph is transformed according to therules of RDFS

Implicit knowledge (i e not explicitly modelled)Implicit knowledge (i.e. not explicitly modelled)

#Means of #Means of

#MyBMW

Transportation

rdfs:subClassOf

Transportation

rdfs:subClassOfrdf:type

rdfs:subClassOf

rdf:type#Car

rdfs:subClassOf

#MyBMW

rdf:type

WS 08/09

#BMW #BMW

RDFS SemanticsDrawback/Restriction of RDF Drawback/Restriction of RDF

Open world assumption: false statements must be Open world assumption: false statements must be specified

Closed world assumption: if a statement is missing, it is p g,assumed to be false

No negation in RDFS possible

• ex:michael rdf:type ex:nonsmoker

• ex:michael rdf:type ex:smoker• ex:michael rdf:type ex:smoker

Does not lead to a contradiction!

N l i di id l H All

No rules over individuals e.g. ex:Humans = All ex:Women and All ex:Men

No Counting: “An Elephant has 4 legs”

WS 08/09

No Counting: An Elephant has 4 legs

Semantic Web StackWeb Ontology Language (OWL)Web Ontology Language (OWL)

WS 08/09

Historical DevelopmentHistorical Development

Standardised since 2004

WS 08/09

DARPA Agent Markup Language (DAML)

Funded by DARPA start 2001Funded by DARPA, start 2001

DARPA: Defense Advanced Research Projects Agencyj g y

Markup Language for semantic nets

DAML ONT: RDFS extension for OntologiesDAML-ONT: RDFS extension for Ontologies

Focus is on the Web

WS 08/09

Ontology Inference Layer (OIL)

European Project with focus on inferenceEuropean Project with focus on inferencecapabilities

Different kinds of standard

Excluding Reification Core OIL is compatible toRDFS

WS 08/09

History DAML+OIL

DARPA Agent Markup Language (DAML) in USA

Ontology Inference Layer (OIL) in EU

Combining both DAML+OIL

DAML+OIL handed in to W3C for standardisastion

Base for Web Ontology Language (OWL)

WS 08/09

Development of OWL

W3C founded 2001 The Ontology (WebONT) Working W3C founded 2001 The Ontology (WebONT) Working Group

Using DAML+OIL for language specificationg g g p

Feb. 2004 the W3C has published the OWL Web OntologyLanguage Recommendations

Simply speaking: They added an additional vocabulary toRDF(S)htt // 3 /2001/ /W bO thttp://w3.org/2001/sw/WebOnt

WS 08/09

OWL - WOL

The language started out as the "Web Ontology Language" The language started out as the Web Ontology Language but the Working Group disliked the acronym "WOL." Wedecided to call it OWL. The Working Group became morecomfortable with this decision when one of the memberscomfortable with this decision when one of the memberspointed out the following justification for this decision fromthe noted ontologist A.A. Milne who, in his influential book"Wi i th P h" t t d f th i h t OWL"Winnie the Pooh" stated of the wise character OWL:

"He could spell his own name WOL, and he could spellTuesday so that you knew it wasn't Wednesday "Tuesday so that you knew it wasn t Wednesday...

http://www.w3.org/2003/08/owlfaq

WS 08/09

OWL - WOL

Winnie the Pooh

24Piglet

WS 08/09

OWL The second storyyhttp://lists.w3.org/Archives/Public/www-webont-wg/2001Dec/0169.html

Jim Hendler wrote:

> ... Dieter is right about that as well) I prefer the three letter WOL to the longer SWOL. How about OWL as a variation. The words would be the same (Ontology Web Language) but it has several advantages: (1) it has just one obvious

i ti hi h i th (2) it t pronunciation which is easy on the ear; (2) it opens up great opportunities for logos; (3) owls are associated with wisdom; (4) it has an interesting back story. OWL has probably been used for many computer languages and projects (see below), but I don't think that is a show stopper.

• But the Background is: "One World Language“ short OWL in the mid 70‘s developed at MIT

WS 08/09

OWL - Specifications

OWL besteht aus 3 UntersprachenOWL besteht aus 3 Untersprachen

OWL Lite

OWL DLOWL DL

OWL Full

WS 08/09

OWL - Specification

The following set of relations hold. The following set of relations hold. Their inverses do not:

Every legal OWL Lite ontology i l l OWL DL t l is a legal OWL DL ontology.

Every legal OWL DL ontology is a legal OWL Full ontology is a legal OWL Full ontology.

Every valid OWL Lite conclusion is a valid OWL DL conclusion.

Every valid OWL DL conclusion is a valid OWL Full conclusion.

27http://www.w3.org/TR/owl-guide/

WS 08/09

OWL Syntax and SemanticNamespace & HeaderNamespace & Header

In addition to rdfs and rdf:In addition to rdfs and rdf:

<rdf:RDF … xmlns:owl = „http://www.w3.org/2002/07/owl#“>

<owl:Ontology rdf:about=„“>

<rdfs:comment>my best ontology</rdfs:comment>

<owl:versinoInfo>v0.5</owl:verisonInfo>

</owl:Ontology>

Combines Elements of OWL and RFDS Namespace

28Import of other ontologies possible<owl:imports rdf:resource=uri>

WS 08/09

OWL Syntax and SemanticClasses Individuals and RolesClasses, Individuals and Roles

Classes similar to RDFS (i e subclass of rdfs:Class)Classes similar to RDFS (i.e. subclass of rdfs:Class)

owl:Class

Individuals are similar to instances in RDFSIndividuals are similar to instances in RDFS

Definition via the property rdf:type

<rdf:Description rdf:about=„KlausTochtermann“>f p f „<rdf:type rdf:resource=„Professor“/>

</rdf:Description>

Abbrevated Notation in XML: <Class rdf:about=URI>

WS 08/09

OWL Syntax and SemanticRoles (properties in RDF)Roles (properties in RDF)

owl:DataTypeProperty (rdf:Domain ~ rdf:Literal|rdf:DataType|xsd:xxx)owl:DataTypeProperty (rdf:Domain rdf:Literal|rdf:DataType|xsd:xxx)<owl:DatatypeProperty rdf:about=„Name“>

<rdfs:domain rdf:resource=„Professor“/>

<rdfs:range rdf:resource= xsd:String“/><rdfs:range rdf:resource=„xsd:String“/>

</owl:DatatypeProperty>

l Obj tP t ( df D i l Thi )owl:ObjectProperty (rdf:Domain ~ owl:Thing)<owl:ObjectProperty rdf:about=„lecturing“>

<rdfs:domain rdf:resource=„Professor“/>

<rdfs:range rdf:resource=„Lecture“/>

</owl:ObjectProperty>

30owl:annotationPropertyJust for commenting on resources

WS 08/09

OWL Syntax and SemanticSimple Properties between ClassesSimple Properties between Classes

rdfs:subClassOf Similar to RDFSrdfs:subClassOf Similar to RDFS

All classes are sublcasses from owl:Thing

All classes have the sub class owl:NothingAll classes have the sub class owl:Nothing

owl:disjointWith No individual is contained in both classes

/<owlClass rdf:about=„Human“/><owlClass rdf:about=„Animal“>

<owl:disjointWith rdf:resource=„Human“/>

</owlClass></owlClass>

owl:equivalentClass

Two classes are semantically equal

WS 08/09

OWL Syntax and SemanticProperties between IndividualsProperties between Individuals

Owl:sameAs two individuals are the sameOwl:sameAs two individuals are the same

</Professor></Professor>

owl:differentFrom two individuals are different

owl:AllDifferent Abrevation for a set of individuals owl:AllDifferent Abrevation for a set of individuals owl:distinctMembers

<owl:AllDifferent><owl:AllDifferent><owl:distinctMembers rdf:parseType=„Collection“>

</owl:AllDifferent>

WS 08/09

OWL Syntax and SemanticProperties between IndividualsProperties between Individuals

owl:oneOf closed classes i e class with a fixedowl:oneOf closed classes, i.e. class with a fixednumber of members

<owl:Class rdf:about=„IWMLecturers“><owl:oneOf rdf:parseType=„Collection“>

</olw:oneOf></owl:Class>

WS 08/09

OWL Syntax and SemanticLogical Constructors for ClassesLogical Constructors for Classes

Logical construtors on simple“ classes allow to construct newLogical construtors on „simple classes allow to construct newcomplex classes

MenWomenHuman U=

owl:unionOflogical OR

<owl:Class rdf:about=„Women“/><owl:Class rdf:about=„Men“><owl:complementOf rdf:resource=„Women“>

owl:complementOflogical Not

</owl:Class>

<owl:Class rdf:about=„Human“/>

owl:intersectionOflogical AND

<owl:unionOf rdf:parseType=„Collection“> <owl:Class rdf:about=„Men“><owl:Class rdf:about=„Women“>

</owl:unionOf>

</owl:Class>

WS 08/09

OWL Syntax and SemanticLogical Constructors for ClassesLogical Constructors for Classes

Complex class construtors via role restrictionsComplex class construtors via role restrictions

Defines a class as set of object for which the role has a value ofa specific class

owl:someValuesFrom

owl:allValuesFrom

Owl:hasValue

Cardinality of roles

owl:maxCardinaltiy

owl:minCardinality

35owl:cardinality

WS 08/09

OWL Syntax and SemanticRelationships between Roles/Role PropertiesRelationships between Roles/Role Properties

Relationships between rolesRelationships between roles

owl:subPropertyOf Hierarchy for properties

owl:inverseOf inverse role

Properties of roles

Symmetry role(A,B) = role(B,A)

<MichaelGranitzer, worksTogetherWith,MarkusStrohmaier>

Transitivity role(A,B) && role(B,C) role (A,C)

<Transistor, isPartOf, Chip> && <Chip, isPartOf,Laptop> <Transistor, isPartOf, Chip> && <Chip, isPartOf,Laptop>

<Transisotr,isPartOf,Laptop>

Functional role(A,B) && role (A,C) <B,sameAs,A>

<MichaelGranitzer, isLecturerOf, Wissenstechnologie>

<GranitzerMichael, isLecturerOf, Wissenstechnologie>

Inverse Functional role(B,A) && role (C,A) <B,sameAs,A>

WS 08/09

OWL Syntax and Semantichttp://www.w3.org/TR/2004/REC-owl-semantics-20040210/

WS 08/09

OWL Full

Highest possible expressiveness using OWL Highest possible expressiveness using OWL

Constraint: Must be valid RDF

D id bilit i t t dDecidability is not guaranteed

No distinction between roles, classes and instances

An instance may be a class of another instance (Meta-modelling)

– <Car rdf:about=„BMW“><BMW rdf:about=„MyBMW“>

WS 08/09

OWL DL

DL….Description Logicsp g

Guranteed to be deciable

Contains all elements of OWL but only some elements of RDFS (mainly rdfs:class and rdf:Property)(mainly rdfs:class and rdf:Property)

Separation of classes, roles and instances

Restrictions on specific roles for classes and instances

Completeness (all implications can be calcualted)

Decidability (all calcualtions can be done in finite time)

With maximum expressiveness

WS 08/09

OWL Lite

Simplest form of OWLSimplest form of OWL

Restriction on class constructors

R t i ti di litRestrictions on cardinality

Predefined class names and role restrictions in specificsituationssituations

Hardly used in practice

WS 08/09

Editors for OWL

Protégé: Protégé: http://protege.stanford.edu/

Altova SemanticWorks (comercial): ( )http://www.altova.com/products_semanticworks.html

SWOOP: htt // i d /2004/SWOOP/http://www.mindswap.org/2004/SWOOP/

TopBraid Composer™ (comercial):http://www topbraidcomposer com/http://www.topbraidcomposer.com/

WS 08/09

OWL Inference and Reasoning

OWL DL uses Description Logics (Beschreibungslogik)OWL DL uses Description Logics (Beschreibungslogik)

DL is a subset of First Order

B fit f L iBenefits from Logic

Well known Logic, studied over years

Known runtime complexibility

Existing algorithms for reasoning

WS 08/09

OWL Inference and ReasoningImportant PropertiesImportant Properties

Expressive Power (Aussdrucksstärke)Expressive Power (Aussdrucksstärke)

What statements can be made over the model?

C t bilit (B h b k it)Computability (Berechenbarkeit)

Can the evaluation algorithm be calculated in finite time?time?

Decideability (Entscheidbarkeit)

Given a logical systems, is there an computablealgorithm to evaluate a given formula? (e.g. decidewhether it is true or false)

Tradeoff: Expressive Power vs. Decideability

Open vs Closed World Assumption

WS 08/09

Open vs. Closed World Assumption

Logic Families

Propositonal LogicPropositonal Logic

Predicate Logic: Formulas contain variables and quantifiers

llcowFeelsWehotwarm →∨ )(Predicate Logic: Formulas contain variables and quantifiers

First Order Logic

D i ti L i– Description Logic

Second Order Logic

Many-sorted logic

44Temporal Logic

WS 08/09

Propositonal Logic

ElElements

Atoms: P, Q, R, …

C t t T F l

↔→¬∨∧ ,,,,Constants: True, False

Junctors:

Klammern: ( )Klammern: (, )

ExampleExample

llcowFeelsWehotwarm →∨ )(

WS 08/09

First Order Logic

ElementeElemente

Constants: a, b, John, Animal, Mammal …

Variables: x, y, z, …, y, ,

Functions: f, g,Mapping from constants to constants

P di t P( ) Q( )

Extension to propositional Logic like

Predicate: P(x), Q(y),Mapping von variables to constants

Quantoren: ∃∀ ,

llcowFeelsWehotwarm →∨ )(

Brackets: (, )

Example

))(()()( xmotherisCowxisCowx →∀

WS 08/09

Description Logics

Knowledge representation via Knowledge representation via

Classes

I di id lIndividuals

Roles (Properties)

Subset of First Order Logic

Family having different languages depending on theexpressiveness

WS 08/09

Description Logic

TBox (terminological box)TBox (terminological box)

Statements over concepts

Class models and class rolesClass models and class roles

ABox (assertional box)

Statements over IndividualsStatements over Individuals

Assignment of Individuals to classes and filling the roles

OWL DL: TBox and ABox are disjunctOWL-DL: TBox and ABox are disjunct

E.g. no Class can be an individual

E g no roles can be individuals

E.g. no roles can be individuals

WS 08/09

Description LogicsFamily Member ALCFamily Member ALC

ALC – Attributive Language with ComplementALC Attributive Language with Complement

Class, Role and Individual

A i t f I di id l t lAssignment of Individuals to classes

Equivalence, disjunction and conjunction of classes

owl:Thing, owl:Nothing

owl:intersectionOF, owl:complementOf

owl:allValuesFrom, owl:somealuesFrom

rdfs:range rdfs:domain

rdfs:range, rdfs:domain

WS 08/09

Description LogicsFamily Member SHOIN(D)Family Member SHOIN(D)

SHOIN– Standard OWL-DL LogicSHOIN Standard OWL DL Logic

S: ALC including transitivity of roles

H b t df bP t OfH: sub property, rdfs:subPropertyOf

O: owl:oneOf (closed classes)

I: owl:inverseOf (inverse roles)

N: Restrictions on numbers

D: Allows datatypes (owl:DataType)

WS 08/09

Description LogicsFamily Member SHIF(D)Family Member SHIF(D)

SHIF – OWL LiteSHIF OWL Lite

S: ALC including transitivity of roles

H b t df bP t OfH: sub property, rdfs:subPropertyOf

I: owl:inverseOf (inverse roles)

F: Functional Roles

WS 08/09

OWL –DL Reasoning

Application AreasApplication Areas

Taxonomy classification: Computes an inferred class hierarchy from the asserted definitions

Consistency checking: Detects classes that cannot have any instances

Instance classification: Finds all classes that a given individual belongs to

State-of-the-Art are so called tableaux algorithms for reasoningState of the Art are so called tableaux algorithms for reasoning

Worst case time compelxity is exponential, for practicalproblems usually faster

52http://www.cs.man.ac.uk/~ezolin/dl/

WS 08/09

DL Resources

OWL Reasoning Examples OWL Reasoning Examples http://owl.man.ac.uk/2003/why/latest/

Description Logicp gThe Description Logic Handbook: Theory, Implementation, and Applications. F. Baader et al., Cambridge University Press 2003 ISBN 0521781760 Cambridge University Press, 2003. ISBN 0521781760

http://dl.kr.org/

WS 08/09

DL (OWL) Reasoner

Racer (commercial): Racer (commercial): http://www.racer-systems.com/

FaCT++: http://owl.man.ac.uk/factplusplus/

Pellet: htt // ll t ldl /http://pellet.owldl.com/

WS 08/09

A Short Protege DemoDo you know mad Cows?Do you know mad Cows?

55http://protege.cim3.net/cgi-bin/wiki.pl?ProtegeOWLDLReasoning

WS 08/09

Ontology Types and ExistingRessourcesRessources

Upper Level OntologiesUpper Level Ontologies

Aka Top-Level Ontology, Foundation Ontology

M d l f bj tModel of common objects

Common Sense Knowledge/ General models of theWorldWorld

Domain Ontologies

Model for a specific domain (i.e. Genes, Biomedical Engineering etc.)

F d l th li ti

Focused also on the application use case

WS 08/09

Upper Level Ontologies

Formal Upper Level OntologiesFormal Upper Level Ontologies

Suggested Upper Merged Ontology (SUMO)

DOLCEDOLCE

(Open)Cyc

Basic Formal Ontology (BFO)

Informal Upper Level Ontologies

DublinCore

WordNet

WS 08/09

SUMOSuggested Upper Merged Ontology (SUMO)

From IEEE Working Group 1600 p1

Suggested Upper Merged Ontology (SUMO)

From IEEE Working Group 1600.p1

Largest free, formal ontology available, with 20,000 terms and 70,000 axioms when all domain ontologies are , gcombined. (http://www.ontologyportal.org/)

Mapping to Word Net

WS 08/09

WordNethttp://wordnet princeton edu/http://wordnet.princeton.edu/

Lexical Ontology for (English) LanguageLexical Ontology for (English) Language

Classes: Nouns, Verbs, Adjective, Adverbs

G d i t S tGrouped into Synsets

Relations between Synsets: hypernym, hyponym, holonym meronym troponymholonym, meronym, troponym…

220,000 Words; 128,000 Synsets

Limitations

No pronouncation and irregulary verbs

59No domain specific vocabulary

WS 08/09

Largest project to capture human knowledgeLargest project to capture human knowledge

Formalized representation of a vast quantity of fundamental human knowledgeg

Started 1986, Cycorp spin off 1994

Properitery System using predicate logic and LISP similarProperitery System using predicate logic and LISP similarsyntax

Structured in micro theories and assertionsStructured in micro theories and assertions

Open Source Version available as OpenCyc

htt //

http://www.opencyc.org

WS 08/09

Cychttp://www.cyc.com/cyc/technology/whatiscyc_dir/whatdoescycknow

What Cyc knows“What Cyc „knows ….

WS 08/09

Summary

OWL Syntax adds means to express complex classes andOWL Syntax adds means to express complex classes andlogics over RFDS

OWL-DL,OWL-Lite, OWL-Full, ,

Formal Logical Theories for Reasoning

Description Logic for OWLDescription Logic for OWL

Abox, Tbox

Upper Ontologies vs. Domain Ontologies

SUMO, WordNet, OpenCyc

62Linking Open Data

WS 08/09

Points you should take away from thislecturelecture

• What OWL adds to RDFS?What OWL adds to RDFS?

• Types of OWL and Reasoning capabilities?

• Use existing Ontologies/Upper Level Ontologies• Use existing Ontologies/Upper Level Ontologies

• What is Linking Open Data?

Next Week:Next Week:

• Ontology ModellingRules of Thumb for modeling ontologiesRules of Thumb for modeling ontologies

• Ontology Alignment & Matching

63• Semantic Web Frameworks:

Jena/Sesame with Examples

WS 08/09

That‘s it for today…

Thanks for your attention

Questions/comments?

i @mgranitzer@tugraz.at

WS 08/09

License

This work is licensed under the Creative Commons This work is licensed under the Creative Commons Attribution 2.0 Austria License. To view a copy of this license, visit http://creativecommons org/licenses/by/2 0/at/http://creativecommons.org/licenses/by/2.0/at/.

Contributors:

Mathias Lux

Peter Scheir

Klaus Tochtermann

65Michael Granitzer

WS 08/09

Wissenstechnologie Iv 08 09

Education

Prueba 08 de septiembre iv medio

Wissenstechnologie Vi 08 09

28/08/2019 - IV CONIL

Wissenstechnologie 2007 - VIII

IV/4 Oct'08- Dec'08

08-Solventes-IV-FRM-2015-MyEO (1) (1)

Via dei Papareschi · 2019-10-07 · iv.06 aula iv.07 lab. scienze iv.02 aula iv.11 servizio uomini iv.01 servizio uomini iv.09 infermeria iv.10 aula sussidio iv.08 servizio donne

08-SECCIÓN IV, RESUMEN EJECUTIVO DEL PROYECTO …

Año IV, No. 08 Julio-Diciembre 2016 ISSN: 2448-6906...1 Año IV, No. 08 Julio-Diciembre 2016 ISSN: 2448-6906 proyectos.i.v@hotmail.com

4 5 F at No. 2118, 1ÿpe-IV, Delhi Administration Flats ... · Ms. Swati Singh, M.M. 1708, 2nd Floor, Tupe-IV, Gulabi Bagh, New Delhi 04-08-2016 05-08-2016 11-08-2016 06-08-2016 08-08-2016

08 ing molieri (iv foro de ingenieria)

Wissenstechnologie I

08 Cap IV Bolile Valvulare Gaspar

NeoTek Vol. IV - No. 08

Wissenstechnologie Ii 08 09.Voll

Comunicado de Prensa No. 33/2012 - IFT · I-04 II-04 III IV-04 I-05 II 05 III IV-05 I-06 II III-06 IV-06 I-07 II 07 III 07 IV-07 I-08 II-08 III IV-08 I-09 II 09 III IV-09 I-10 II

K4 #08 [11-2010] Art IV

08 Semana IV Unidad Der.cons.Comparado 2014 2

Good News 1954 (Vol IV No 08) Oct.pdf

131-INSP - Economie · (Her)indienststelling 12/08/2008 IV.2 en IV.4 268, 272, 280 Contrôle périodique - Periodieke controle 12/08/2008 IV.2 en IV.4 268, 272, 281 (Re)mise en service