Using description logic in P.E reasoning?

Dear all:
  I'm doing a research about semantic web service matching and composition, and I have noted that in the aiticle "OWL-S: Semantic Markup for Web Services ", you have mentioned:
  "our approach is to treat expressions as literals, either string literals or XML literals. The latter case is used for languages whose standard encoding is in XML, such as SWRL [8] or RDF [11]. The former case is for other languages such as KIF [10] and PDDL [6]. "
  My question is: Is there other ways to describe the P.E "expressions" except SWRL, RDF, KIF and PDDL, e.g., using the Description Logic formula?
  I want to try this way because the DL reasoner is already made, so please tell me is this method feasible?
  Thanks a lot!



 		
---------------------------------
 ÑÅ»¢Ãâ·ÑÓÊÏä-3.5GÈÝÁ¿£¬20M¸½¼þ
--0-69999728-1158846700=:74041
Content-Type: text/html; charset=gb2312
Content-Transfer-Encoding: 8bit

<DIV>Dear all:</DIV>  <DIV>I'm doing a research about semantic web service matching and composition, and I have noted that in the aiticle "<A name=ST>OWL-S: Semantic Markup for Web Services </A>", you have mentioned:</DIV>  <DIV>"our approach is to treat expressions as literals, either string literals or XML literals. The latter case is used for languages whose standard encoding is in XML, such as SWRL&nbsp;[<A href="http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/#SWRL"><FONT color=#660099>8</FONT></A>] or RDF&nbsp;[<A href="http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/#RDF"><FONT color=#660099>11</FONT></A>]. The former case is for other languages such as KIF&nbsp;[<A href="http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/#Kif"><FONT color=#660099>10</FONT></A>] and PDDL&nbsp;[<A href="http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/#PDDL"><FONT color=#660099>6</FONT></A>]. "</DIV>  <DIV>My question is: Is there other ways to describe the P.E
 "expressions" except SWRL, RDF, KIF and PDDL, e.g., using the Description Logic formula?</DIV>  <DIV>I want to try this&nbsp;way because the DL reasoner is already made, so please tell me is&nbsp;this method feasible?</DIV>  <DIV>Thanks a lot!</DIV><BR><BR><p>&#32;
		<hr size=1><a href="http://cn.mail.yahoo.com/" target=blank> 
ÑÅ»¢Ãâ·ÑÓÊÏä-3.5GÈÝÁ¿£¬20M¸½¼þ</a>
--0-69999728-1158846700=:74041--

Received on Thursday, 21 September 2006 19:18:25 UTC