Principles and Practice of Semantic Web Reasoning

International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings

Francois Bry, Nicola Henze, Jan Maluszynski (Herausgeber)

Buch | Softcover

X, 214 Seiten

2003
Springer Berlin (Verlag)
978-3-540-20582-1 (ISBN)

Artikel merken

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).

Foundations of Semantic Web Reasoning.- Composing Frameworks and Components for Families of Semantic Web Applications.- Semantic Web Logic Programming Tools.- Web Rules Need Two Kinds of Negation.- Reasoning in Practice.- Towards the Adaptive Semantic Web.- On Reasoning on Time and Location on the Web.- Reasoning about Communicating Agents in the Semantic Web.- Query and Rule-Languages.- A Visual Language for Web Querying and Reasoning.- XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.- On Types for XML Query Language Xcerpt.- Integrating Description Logics and Answer Set Programming.- Semantics and Knowledge Representation.- Extracting Mathematical Semantics from Documents.- Reasoning in Attempto Controlled English.- Systematics and Architecture for a Resource Representing Knowledge about Named Entities.

Erscheint lt. Verlag	25.11.2003
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	X, 214 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	336 g
Themenwelt	Sachbuch/Ratgeber ► Natur / Technik ► Naturwissenschaft
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Informatik ► Web / Internet
Schlagworte	Component Technology • formal methods • Frameworks • Hardcover, Softcover / Informatik, EDV/Internet • HC/Informatik, EDV/Informatik • HC/Informatik, EDV/Internet • knowledge extraction • Knowledge Processing • Knowledge Representation • Logic Programming • Logic Reasoning • Meetin • metadata processing • Semantics • semantic web • semantic web reasoning • Web-Based Information Systems • XML
ISBN-10	3-540-20582-9 / 3540205829
ISBN-13	978-3-540-20582-1 / 9783540205821
Zustand	Neuware