*5.1.1 Resolution rule in a generalized form*

Creating a CFL clause for using the resolution rule of the RDF CLF language according to the scheme:

> < CFL clause 1 > <CFL clause 2 > < the logical consequent of 1 and 2 >

**6. A proposed structure of records in the knowledge pattern archive**

state http://dbpedia.org/page/State\_(polity) citizen http://dbpedia.org/page/Citizenship aus https://www.wikidata.org/wiki/Q40 anne http://dbpedia.org/page/Anne visa http://dbpedia.org/page/Travel\_visa enter https://www.wikidata.org/wiki/Q161935

Design Name A unique name that adequately describes the knowledge

Objective A description of the goal for which the knowledge pat-

Context A situation where a description of the knowledge pattern

Motivation<sup>⋆</sup> Description of the problem to be solved by the given

Usage Situations in which the pattern can be used. This is the context of a knowledge model.

**7. The RDF CFL graph resolution rule in the proposed pattern archive**

Objective The pattern in the form of a rule serves a possibility of

Usage as an example: solving the consequent from two clauses in the graph representation.

knowledge base.

understandable. Motivation<sup>⋆</sup> Better level of usability of a knowledge base.

Structure Symbolic expression of a deduction.

Context Some of the consequents hidden before become

obtaining further knowledge like consequents of a

visible and could make the whole content more

<graph of clause 1> <graph of clause 2> <graph of the logical consequent>

Structure Graphic representation of the knowledge pattern. Participants List of classes and objects that use this knowledge pattern and their role in the design. Consequences A description of the results, side effects, and problems that the pattern makes use of.

tern originated. Also known as Other names for the same knowledge pattern.

knowledge model.

Known uses Examples of practical use of the pattern.

Design Name RDF CFL graph resolution rule.

<sup>⋆</sup>contradictory forces.

**Table 1.**

*IRI of the example (RDF).*

Also known as -

**31**

is useful.

**Entity IRI (URI)**

*Knowledge Patterns within the Conception of Semantic Web*

*DOI: http://dx.doi.org/10.5772/intechopen.88692*

isa is a

pattern and reference it helps identify.

As the set of the RDF CFL clausal form contains only positive atoms, we prepare for the resolution rule those basic atoms that express positive statements about the participating persons and states in our example (**Table 1**):

1.**stateEU**(aus), **citizen**(anne, aus) ! **enter**(anne).

Verbal expression: "Anne is a **citizen** of Austria, which **is a** state of EU."

2.RDF CFL instance of the (1.)

! **stateEU**(aus).

Verbal expression: "Austria **is a** state of EU."

**citizen**(anne, aus) ! **enter**(anne).

Logical consequent after a using of the resolution rule.

Verbal expression: "Anne can enter to any state of EU." Similar examples can be seen in the publication [26].

*Knowledge Patterns within the Conception of Semantic Web DOI: http://dx.doi.org/10.5772/intechopen.88692*


#### **Table 1.**

**5.1 Example**

Immigration rules for citizen as a knowledge base in the FOPL

2.∀x ∀y (¬**stateEU**(y) & **citizen**(x,y) & **has**\_**visa**(x) ! **enter**(x))

Creating a CFL clause for using the resolution rule of the RDF CLF language

< CFL clause 1 > <CFL clause 2 > < the logical consequent of 1 and 2 >

As the set of the RDF CFL clausal form contains only positive atoms, we prepare for the resolution rule those basic atoms that express positive statements about the

Verbal expression: "Anne is a **citizen** of Austria, which **is a** state of EU."

**citizen**(anne, aus), **citizen**(achim,tur), **has**-**visa**(achim),

participating persons and states in our example (**Table 1**):

1.**stateEU**(aus), **citizen**(anne, aus) ! **enter**(anne).

1.∀x ∀y (**stateEU**(y) & **citizen**(x,y) ! **enter**(x))

*Ontological Analyses in Science,Technology and Informatics*

**stateEU**(aus), ¬**stateEU**(tur).

*5.1.1 Resolution rule in a generalized form*

2.RDF CFL instance of the (1.)

Verbal expression: "Austria **is a** state of EU."

Logical consequent after a using of the resolution rule.

Verbal expression: "Anne can enter to any state of EU." Similar examples can be seen in the publication [26].

**citizen**(anne, aus) ! **enter**(anne).

! **stateEU**(aus).

**30**

according to the scheme:

*IRI of the example (RDF).*
