Semantic Web and Web 3.0 · class 08 · demo

What the reasoner adds

The ontology and the graph of the class, closed three times. Nothing below was written twice: every inferred triple comes from an axiom, and each page says which.

286

triples · No reasoner

624

triples · RDFS

918

triples · OWL 2 RL

The defined classes, filled in by the reasoner

Nobody asserts that product 17 is a onto:PortugueseProduct. Switch between the regimes: with no reasoner and under RDFS the column is empty; under OWL 2 RL it fills. onto:LargeOrder stays empty here — a restriction on a datatype is outside OWL 2 RL; in Protégé, with HermiT, order:1001 is a large order.

Class	Condition	Members (RDFS)
onto:LargeOrder	An order whose total value is 500 euros or more (50000 cents). A class defined by a restriction on a datatype.	nobody — switch the regime
onto:PortugueseManufacturer	A manufacturer whose country is Portugal. A defined class: membership is inferred, never asserted.	nobody — switch the regime
onto:PortugueseProduct	A product made by a Portuguese manufacturer. It answers competency question Q1.	nobody — switch the regime

The class hierarchy

onto:Component A piece that is part of a product or of another component.
onto:Country A country, identified by its own URI so that it can be linked to outside sources.
onto:Customer An organisation that places orders.
onto:Grouping A unit of physical aggregation: batch, pallet, container.
- onto:Batch A set of products handled as a single unit.
- onto:Container A shipping unit that contains batches.
onto:LargeOrder An order whose total value is 500 euros or more (50000 cents). A class defined by a restriction on a datatype.
onto:Manufacturer An organisation that manufactures products in the catalogue.
onto:Order A request from a customer, with a date and one or more products.
onto:PortugueseManufacturer A manufacturer whose country is Portugal. A defined class: membership is inferred, never asserted.
onto:PortugueseProduct A product made by a Portuguese manufacturer. It answers competency question Q1.
onto:Product A good put up for sale in the catalogue.
- onto:DigitalProduct A product delivered by transfer, with no physical existence.
- onto:DiscontinuedProduct A product that is no longer sold and that may have a replacement.
- onto:PhysicalProduct A product with a physical existence, which is shipped and stored.
onto:Service A contracted service; it is neither manufactured nor stored.
onto:Supply A fact with qualifiers: a supplier delivered a quantity of a product, at a price, on a date. It is the n-ary relation pattern.

The properties

Property	rdfs:domain	rdfs:range	Characteristics
onto:containsProduct	onto:Order	onto:Product
onto:country	—	onto:Country
onto:date	—	xsd:date
onto:hasCustomer	onto:Order	onto:Customer
onto:hasPart	—	—	transitive
onto:manufacturedBy	onto:Product	onto:Manufacturer
onto:manufactures	onto:Manufacturer	onto:Product	inverse of onto:manufacturedBy
onto:partOf	—	—	transitive, inverse of onto:hasPart
onto:product	onto:Supply	onto:Product
onto:quantity	onto:Supply	xsd:integer
onto:replaces	onto:Product	onto:Product
onto:supplier	onto:Supply	onto:Manufacturer
onto:totalCents	onto:Order	xsd:integer
onto:unitPriceCents	onto:Supply	xsd:integer

The question slide, run

An order has exactly one customer. Two arrive. What does the reasoner do? →

What the reasoner adds

The defined classes, filled in by the reasoner

The class hierarchy

The properties

The question slide, run

Every resource