[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8},"actionData","errors","root",{"_29":-5,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_48":49,"_50":51,"_52":53,"_54":55,"_56":57,"_58":59},"routes/_store+/_readers+/email_author.$slug/route",{"_9":10,"_11":-5,"_12":-5},"book",{"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24},"currentUser","formToken","id","Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6Qm9va1Byb2R1Y3QvNzg2ODY","title","Executable Knowledge Architecture (EKA) - VOLUME 3 -- Semantic Logic","state","published","contactAuthorMethod","email","aboutText","

Mastering Ontology Engineering with Protege and Pizza.owl, Volume 3, is where your ontology starts enforcing real logical requirements instead of just describing structure.

This volume was originally a single chapter bundled inside Volume 2, and it grew large enough, nearly three times the length of any other chapter, that it now stands on its own across three focused chapters. You'll learn the existential restriction (some), the requirement that at least one qualifying relationship must exist, and the universal restriction (only), the constraint that bounds what's allowed. Then you'll see exactly why both must be combined correctly to define something like VegetarianPizza the way a reasoner actually understands it, a detail that trips up nearly everyone the first time. The volume closes by placing restrictions inside the Executable Knowledge Architecture (EKA) framework as a governance layer, and by cataloguing the most common restriction-modeling mistakes, drawn directly from real technical review.

In this volume you'll learn to:

Use existential restriction (some) and understand what it actually asserts to a reasoner
Use universal restriction (only), including the vacuous truth trap that catches most beginners
Correctly combine both into a composite class definition
Compare the same logical requirement as a Cypher constraint in Neo4j, and understand why OWL's Open World Assumption differs from a property graph's Closed World queries
Treat restrictions as a governance layer within the EKA framework
Recognize and avoid the most common restriction-modeling mistakes

This edition includes forewords by Timothy W. Cook (Founder, Semantic Data Charter) and Michael DeBellis, along with detailed technical review credited throughout the book, including a corrected VegetarianPizza definition contributed directly by Michael DeBellis.

Best read after Volumes 1 and 2, though readers already comfortable with basic OWL classes and object properties can start here.

","authors",[25],{"_13":26,"_27":28,"_29":30},"Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6UHJvZHVjdEF1dGhvci84NDI1OA","name","Xiaoqi Zhao","user",{"_31":32},"avatar",{"_33":34,"_35":36,"_37":38},"url","https://d39qdlcrvnra4b.cloudfront.net/avatars/3721114/medium/avatar.jpg?1778828969","styleName","medium","exists",true,"shoppingCartId","shoppingCart",{"_13":72,"_73":74,"_75":38,"_76":77,"_78":79,"_80":81,"_82":38},"locale","en","readerTheme","light","constants",{"_70":71},"publishers",{"_66":67,"_68":69},"learnerOrganizations",[],"needsLocaleCookieSync",false,"announcements",{"_60":61,"_62":-5},"sentryEnvironment","production","sentryRelease","cb566d39bffff58e48bd71e05a109506232f3ba9","announcement_store",{"_63":53,"_64":65},"announcement_authors","flag","text","

Kick off your book project, get started with GhostAI, get better at marketing, or spend the day doing all three! Free live workshops on Zoom. Saturday, June 27, 2026.

\n","companies",[],"universities",[],"paypalClientId","AX53Cwz8jR6rVVzzZiZNWWXl0dGagi-GZrjG-S3Ua14E5nrKMn7DxDQ730O4R8LusLPp49ALn6aRVaEy","no-cart","count",0,"free","updatedAt","","paymentGateway","STRIPE","cartItems",[],"loading"]

Email the Author