http//www.arabicontology.

org
.
-
Tarikos2007@gmail.com

1


.
)RDF/XML ,RDFs ,OWL( 2
.

.

...

- http://linkeddata.org/

-2 :

.1 .. ++
.
.2 SQL

XQuery XML SPARQL

. OWL

.3 HTML XML
.
RDF RDFs .OWL
1

 W3C
HTML
.
( ) w3c

.


.



:
1 .
.

.
.
..

.

" " ""
"" .


ArabicOntology - .

-1
.
. .
2

 .1
: 2
"
..
"..
" ..
" "
"!!!
" " 3
"" 4

"" ""
""
"
" 5
""
. .



- - .

:

-1 . http://www.hespress.com/sciences-
nature/36077.html
-2 "
" http://sites.birzeit.edu/comp/ArabicOntology
-3 : .111176
-4 " " 76
-5 262

 .1
.
.2
http://www.arabicontology.org :
. w3c
-1 :

""
.

.
:
..
: :
.

.


..
-1.1
: .
-1.1.1

:
.
:
.
:
4

 -1 : :
= {

{ |

-2 : :
}
-3: :

= {

={ }

:
={ }}
1 :
=( ).
-4 : : .
= ().
-2 : .
= ()
-7 : .
-6 :

= ()

-8 .
= ()

-1 .

 . ( )
..

1
. 11
. . 111
. . . 1111
. . . 1111
. . . 1111
. . . . 11111
. . . . 11111
. . . . 11111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111

. . . 1111

. . 111
. . . 1111
. . . . 11111

. . . . 11111

. . . 1111
. . . . 11111
. . . . . 111111
. . . . . 111111
. . . . 11111
. . . . . 111111
. . . . . 111111
. . . 1111
. . . . 11111
. . . . 11111
. . . 1111
. . . 1111
6

 . . . . 11111
. . . . 11111
. . . . . 111111
. . . . . 111111
. . . . . 111111
. . 111
. . . 1111
. . . 1111
. . 111
. . 111
. . 111
. . 111
. 11
. . 111

. . . 1111

. . . 1111
. . . . 11111
. . . . 11111
. . . . 11111
. . . 1111
. . . . 11111
. . . . 11111
. . . 1111
. . . . 11111

. . . . 11111

. . . 1111

. . . . 11111

. .111
. . 111
. . 111

. . 111
. . 111
. 11
. . 111
. . 111
7

 . . . 1111

. . . 1111

. . 111
. . 111
. . 111
. . 111
. . 111

. . 111

. . 111

. . 111

1
. 11

. . 111

. . 111
. . 111

. . 111

. 11
1
. 11
. 11
. 11
. 11
. 11
. 11
. 11
1

1
. 11
8

 . . 111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . . 1111
. . 111
. . 111
. . 111
. . 111
. . 111
. . 111
. . 111
. 11
. . 111
. . 111

-1.1.1


.. :
..

..

1
9

:
-1 =

1
() :
(

) ( (') ) (()= ()=' =')

111

111

11
111_

-1 ": "
2111.122
10

 111_

111_
11_

11{()=
}

1111_

111

. 1111__

117_
117_
117_

. 1111_

117_

. 1111_

117_

. 1111_

117_

. 1111_

117_

. 1111_

. 1111__

11

111_

111
. 1111__

117_

11111_

. 1111__

111_

1111_

. 1111__

111_

1111_

. 1111___

1111_

11111__

. 1111__

111_

1111_

111
. 1111_

111_

111_

11_
. 1111__

111_

11111_

11_
. 1111__

11_

1111_

. 1111__

117_

1111_

11_
. 1111__

117_

1111_

. 1111___

1111_

11111__

111
. 1111_

111_

111

11
. 1111_

111_

1111_

111
.1111
. . 11111__

. . 11111__

11

11

1
11

 . . 11111__

. . 11111__

11

11

11

11

. 1111
. . 11111_
. . . 111111_

11

11

. . . 111111_

11

11

. . . 111111_

11

11

. . . 111111_

. 1111

11

11

. 1111

11

11

11

11

. 1111_

111

11

. 1111_

111

11

111

111

11

1
11

1111
111

1111_

111

117_

1111

1111_

111_

1111_

1111_

111_

112_

111_

11111_

111

11

11_

111

11
1
111

11_

11
11

111

11
11

111

11

719

11

12

 719

11

717

11_

11

111

.1-1 :

.
.1-1-1
1 :
-1 ( ) :

=(

| ()=)

2
"" .
-2 .

( E

| ()=_)

E 3 :
( )
:4
-1

.
2

- " " "" "

" : .

- "" " E

-4 :
)

))

E P
13

" : .

(( non

_= (

| (() = (_)))

E
.

( E

-3 .

| () = ())

__=(

| (() = ()))

.
= { () ( _ ) (__) }

1 2 3 :

4
.1-1-1
:
-1

-2

-3

1 2 3 :

=(

=(

| (() = ()))

| (() = (_)))

=(

| (() = ()))

= {( ) ( ) ( )}

-1 .
-2 .
14

.3-1-1
:
-1

( )

-2
-3

=(

1 2 3 :

| (() = ()))

=(
=( | (() = ()))

| (() = (_)))

={( ) ( ) ( )}
.4-3-1 :
.
={

} 2

:
__ = ( ) ( )..

( )...

( )...
.
-2

:
= ( )
-

-1 . : =(

0
0

| (() = (_)))

-2 : =( | (() = (_)))

15


. http://arabicontology.org:

OR
AND . NOT :
:
= {

-1.1


""
plugin Semantic reasoner 1

.)6

-1 FacT++ hermiT
16

 6
.
.
:
_ :_
_ = .

" : [] [_] ". :_ =
. " " [_]

[] (

)6 .

"" http://ontology.olympe.in/arabe.owl

http://schema.org http://linguistics-
. /ontology.org

17

Allwood, J., Andersson, L.-G., & Dahl, O. (1977). Logic in Linguistics. Cambridge University Press.
BOUVIER, A. (1969). LA THEORIE DES ENSEMBLES. Paris: PRESS UNIVERSITAIRES DE FRANCE.
M.CONDAMINE. ALGEBRE ET GEOMETRIE. PARIS: DELAGRAVE.

.)8002( . . : .
.)8002( . . : .
.)8002( . . .
.)0221( . ( . ) : .
.)8000( . . .
.)0222( . . : .
. . .
.)8000( . . : .
.)0222( . . : .
.)8000( . . : .

18

 .)8002( . . : .

1 ------------------------- --------------------------------
1 -----------------------------------------------------
-1 1 -------------------------------------------------- :
-1.1 4-------------------------------------------------------------
-1.1.1 4-------------------------------------------------------------------
-2.1.1 1------------------------------------------------------------------
.2-1 13 ------------------------------------------------------------ :
.1-2-1 13 --------------------------------------------------------------
.2-2-1 14 -------------------------------------------------------------
.3-2-1 12 --------------------------------------------------------------
-1 11 -------------------------------------------
-2.1 17 -----------------------------------------------------------------
11 ---------------------------------------------------------------
11 -----------------------------------------------------------------

19