• Home
• org.tweetyproject.logics
• dl
• 1.27
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ject.logics.dl.1.27.source-code.examplebeliefbase.dlogic Maven / Gradle / Ivy

signature(:atomic-concepts(Person Female Male Parent)
		  :roles(motherOf fatherOf siblingOf marriedTo)
		  :individuals(philip_iv_of_spain maria_of_spain ferdinand_iii_hre mariana_of_austria charles_ii_of_spain))

implies Female Person
implies Male Person 
implies Parent (and Person (exists motherOf Person))

instance philip_iv_of_spain Person
instance maria_of_spain Person
instance ferdinand_iii_hre Person
instance mariana_of_austria Person
instance charles_ii_of_spain Person
instance philip_iv_of_spain Male
instance maria_of_spain Female
instance ferdinand_iii_hre Male
instance mariana_of_austria Female
instance charles_ii_of_spain Male

related philip_iv_of_spain maria_of_spain siblingOf
related ferdinand_iii_hre maria_of_spain marriedTo
related maria_of_spain mariana_of_austria motherOf
related ferdinand_iii_hre mariana_of_austria fatherOf
related philip_iv_of_spain mariana_of_austria marriedTo
related mariana_of_austria charles_ii_of_spain motherOf
related philip_iv_of_spain charles_ii_of_spain fatherOf