1 / 8

Sheet 12

Sheet 12. OWL. FOL is more expressive, but not decidable. DL is a decidable fragment of FOL which has less expressivity but allows for more complex inferencing. Furthermore, DL is held simpler, e.g. by omitting variables, so it is easier to use for more people.

vince
Download Presentation

Sheet 12

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Sheet 12 OWL

  2. FOL is more expressive, but not decidable. DL is a decidable fragment of FOL which has less expressivity but allows for more complex inferencing. Furthermore, DL is held simpler, e.g. by omitting variables, so it is easier to use for more people.

  3. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix : <#> . :Company rdf:type rdfs:Class. :Person rdf:type rdfs:Class. :MarketingCompany rdf:type rdfs:Class ; rdfs:subClassOf :Company . :ITCompany rdf:type rdfs:Class ; rdfs:subClassOf :Company . :Employee rdf:type rdfs:Class ; rdfs:subClassOf :Person . :ProjectManager rdf:type rdfs:Class. rdfs:subClassOf :Employee. :CEO rdf:type rdfs:Class ; rdfs:subClassOf :BoardMember ; rdfs:subClassOf :Employee. :BoardMember rdf:type rdfs:Class ; rdfs:subClassOf :Person. :locatedAt rdf:type rdf:Property ; rdfs:domain :Company ; rdfs:range xs:string. :hasName rdf:type rdf:Property ; rdfs:domain :Person ; rdfs:range xs:string. :employed rdf:type rdf:Property ; rdfs:domain :Person ; rdfs:range :Company.

  4. MarketingCompany ⊆ Company ITCompany ⊆ Company Employee ⊆ Person ProjectManager ⊆ Employee BoardMemeber ⊆ Person CEO ⊆ BoardMember ∩ Employee ∋locatedAt.xsd:string ⊆ Company ∋hasName.xsd:string ⊆ Person ∋employed.Company ⊆ Person ≥1 employed ⊆ Person T ⊆ employed.Company

  5. Ontology is a data model that represents a set of concepts within a domain and the relationships between those concepts. It is used to reason about the objects within that domain. OWL and RDF OWL a stronger language with greater machine interpretability than RDF.OWL comes with a larger vocabulary and stronger syntax than RDF.

  6. Class(Brewery complete) Class(Beer complete) ObjectProperty( hasIngredients domain(Beers) range(Ingredients) restriction(hasIngredients minCardinality(3)) restriction(hasIngredients maxCardinality(6)) restriction(hasIngredients someValuesFrom(Water)) ObjectProperty(brews domain(Brewery) range(Beer)) Class(Ingredients complete) SubClassOf(Water Ingredients) Individual(Zapfler type(Beer)) Individual(Jeva type(XYZBeer)) Individual(Becks type(Beer)) SubClassof(XYZBeer Beer) Individual(XYZ type(Brewery)) Individual(ABC type(Brewery)) restriction(brews minCardinality(1)) restriction(brews maxCardinality(1)) value(brews Zapfler) value(brews Becks) restriction(brews allValuesFrom(complementOf(XYZBeer)) )

  7. SubClassOf(Pilsner Beer) Individual(XYZ type (Brewery) restriction(brews allValuesFrom(Pilsner)) Class(Pilsner complete Beer restriction(brewBy allValuesFrom(XYZ))

More Related