This document describes an ontology for cricket games and related concepts. It defines the key entities and their properties, including cricket games, teams, formats, innings, overs, balls, players and roles. It provides definitions for test, T20 and ODI formats. It also includes example axioms and RDF triples that illustrate the domain-range constraints and relationships between different cricket concepts.
2. Basic Cricket Game Information
•A cricket game is played between exactly 2 teams
•Each team contains 11 players
•A cricket game has 3 formats – {test , t20 , odi}
•A General t20 format cricket game has 2 innings with 20 overs each
•Similarly, odi format cricket game has 2 innings with 50 overs each
•And test format cricket game has 4 innings with unlimited overs.
•Each over in a cricket game contains 6 balls unless there is an illegal ball.
4. Questions
•How many times INDIA and PAKISTAN played against each other in a cricket
game of t20 format?
•How many innings did INDIA play till date?
•WhichTeam has played maximum number of innings of all ODI cricket
games?
•Number of runs by “SachinTendulkar” in all ODI innings that he has Played?
13. Axioms
•Identify either the Domain or Range for the Object Properties and list all the
Domain – Range Axioms
•Existential
•Disjoints
14. Domain and Range Axioms
Event:
Domain:
ꓱhasDate.date ⊆ Event
ꓱhasLocation.Place ⊆ Event
Range:
Event ⊆ꓯhasDate.date
Event ⊆ꓯhasLocation.Place
Cricket Game:
Domain:
ꓱhasWinner.Team⊆ Cricket Game
ꓱhasLoser . Team⊆ Cricket Game
ꓱhasInning . Team⊆ Cricket Game
ꓱhasPlayeroftheMatch . Player ⊆ Cricket Game
ꓱProvidesAgentRole . TeamRole⊆ Cricket Game
ꓱhasFormat . Foramt ⊆ Cricket Game
Range:
CricketGame⊆ꓯhasWinner.Team
CricketGame⊆ꓯhasLoser . Team
CricketGame⊆ꓯhasInning . Team
CricketGame⊆ꓯhasPlayeroftheMatch . Player
CricketGame⊆ꓯProvidesAgentRole . TeamRole
CricketGame⊆ꓯhasFormat . Foramat
15. Existentials
•A Cricket Game is exactly played between twoTeams.
CricketGame ⊆ (=2 ꓱProvideAgentRole.TeamRole)
•A CricketGame has exactly one format from all the three possible formats.
CricketGame ⊆ (=1 ꓱhasFormat.Format)
•A CricketGame has exactly one Winner.
CricketGame ⊆ (=1 ꓱhasWinner.Team)
•A CricketGame has exactly one Loser
CricketGame ⊆ (=1 ꓱhasLoser.Team)
•A CricketGame has exactly one PlayeroftheMatch
CricketGame ⊆ (=1 ꓱhasPlayeroftheMatch.Player)
•ATest format in CricketGame has atleast 3 Innings & atmost 4 Innings.
CricketGame ꓵ ꓱhasFormat {Test} ⊆ (≥ 3 ꓱhasInning.Inning) ꓵ (≤4 ꓱhasInning.Inning)
• An ODI format in CricketGame has exactly 2 Innings.
CricketGame ꓵ ꓱhasFormat {ODI} ⊆ (=2 ꓱhasInning.Inning)
•AT20 format in CricketGame has exactly 2 Innings.
CricketGame ꓵ ꓱhasFormat {T20} ⊆ (=2 ꓱhasInning.Inning)
•A CricketGame with Format ODI has atmost 50 Overs in an Innings.
CricketGame ꓵ ꓱhasFormat {ODI} ⊆ ꓯhasInning ( ≤ 50 hasOver.Over)
16. Existentials
•A CricketGame with FormatT20 has atmost 20 Overs in an Innings.
CricketGame ꓵ ꓱhasFormat {T20} ⊆ ꓯhasInning ( ≤ 20 hasOver.Over)
•An Over has atleast one ball.
Over ⊆(≥1 ꓱhasBall.Ball)
•A Ball has atmost 6 runs.
Ball ⊆ (≤6 ꓱhasRuns.Runs)
•A Ball has exactly 3 BallRole.
Ball ⊆(=3 ꓱProvidesAgentRole.BallRole)
•ATeam has exactly 11 Players.
Team ⊆ (=11 ꓱProvidesAgentRole.PlayerRole)
17. Disjoints
•Here we should identify all disjoint classes.
From our design CricketGame and event , Batsmen Role and Ball Role, Bowler
Role and Ball Role , Non Striker Role and Ball Role depends on each other rest
all are disjoint with one another.