TY - BOOK ID - 5449347 TI - Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings AU - Bry, Francois. AU - Henze, Nicola. AU - Maluszynski, Jan. AU - PPSWR (Conference) PY - 2003 SN - 1280306513 9786610306510 3540245723 3540205829 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer science. KW - Software engineering. KW - Information storage and retrieval systems. KW - Information systems. KW - Artificial intelligence. KW - Computer Science. KW - Information Systems Applications (incl.Internet). KW - Software Engineering. KW - Mathematical Logic and Formal Languages. KW - Information Storage and Retrieval. KW - Artificial Intelligence (incl. Robotics). KW - Semantic Web KW - Telecommunications KW - Electrical & Computer Engineering KW - Engineering & Applied Sciences KW - Popular works. KW - Mathematical logic. KW - Database management. KW - Information storage and retrieval. KW - Popular Science. KW - Popular Computer Science. KW - Database Management. KW - Information Systems Applications (incl. Internet). KW - Information storage and retrieva. KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Computer systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Application software. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software KW - Logic, Symbolic and mathematical. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5449347 AB - The Semantic Web is a major endeavor aimed at enriching the existing Web withmetadataandprocessingmethodssoastoprovideWeb-basedsystemswith advanced(so-calledintelligent)capabilities,inparticularwithcontext-awareness and decision support. The advanced capabilities striven for in most Semantic Web application s- narios primarily call for reasoning. Reasoning capabilities are o?ered by exi- ing Semantic Web languages, such as BPEL4WS, BPML, ConsVISor, DAML-S, JTP, TRIPLE, and others. These languages, however, were developed mostly from functionality-centered (e.g., ontology reasoning or access validation) or application-centered (e.g., Web service retrieval and composition) perspectives. A perspective centered on the reasoning techniques (e.g., forward or backward chaining, tableau-like methods, constraint reasoning, etc.) complementing the above-mentioned activities appears desirable for Semantic Web systems and - plications. The workshop on “Principles and Practice of Semantic Web Reas- ing,” which took place on December 8, 2003, in Mumbai, India, was the ?rst of a series of scienti?c meetings devoted to such a perspective. JustasthecurrentWebisinherentlyheterogeneousindataformatsanddata semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms.Indeed,anysingleformof reasoningturnsouttobeirrealin theSemantic Web. For example, ontology reasoning in general relies on monotonic negation (for the metadata often can be fully speci?ed), while databases, Web databases, and Web-based information systems call for non-monotonic reasoning (for one would not specify non-existing trains in a railway timetable); constraint reas- ing is needed when dealing with time (for time intervals have to be dealt with), while(forwardand/orbackward)chainingisthereasoningofchoicewhencoping with database-like views (for views, i.e., virtual data, can be derived from actual data using operations such as join and projections). ER -