|
|
|
|
LEADER |
02555nmm a2200385 u 4500 |
001 |
EB000652562 |
003 |
EBX01000000000000000505644 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9783540305040
|
100 |
1 |
|
|a Antoniou, Grigoris
|e [editor]
|
245 |
0 |
0 |
|a Rules and Rule Markup Languages for the Semantic Web
|h Elektronische Ressource
|b Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
|c edited by Grigoris Antoniou, Harold Boley
|
250 |
|
|
|a 1st ed. 2004
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2004, 2004
|
300 |
|
|
|a VII, 217 p
|b online resource
|
505 |
0 |
|
|a Invited Talks -- Semantic Web Rules: Covering the Use Cases -- Combining Rule and Ontology Reasoners for the Semantic Web -- Regular Papers -- A System for Nonmonotonic Rules on the Web -- Rule Learning for Feature Values Extraction from HTML Product Information Sheets -- A Defeasible Logic Reasoner for the Semantic Web -- R-DEVICE: A Deductive RDF Rule Language -- Well-Founded Semantics for Description Logic Programs in the Semantic Web -- Defeasible Description Logics -- Semantic Web Reasoning with Conceptual Logic Programs -- Bossam: An Extended Rule Engine for OWL Inferencing -- Extending SWRL to Express Fully-Quantified Constraints -- An Extension to OWL with General Rules -- Combining Description Logic and Defeasible Logic for the Semantic Web -- Short Tool Presentations -- Rewrite Rules as Service Integrators -- SweetProlog: A System to Integrate Ontologies and Rules -- SWRLp: An XML-Based SWRL Presentation Syntax -- XET as a Rule Language for Consistency Maintenance in UML -- A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report
|
653 |
|
|
|a Information Systems Applications (incl. Internet)
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Information Storage and Retrieval
|
653 |
|
|
|a Database Management
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a Application software
|
653 |
|
|
|a Artificial Intelligence
|
653 |
|
|
|a Artificial intelligence
|
653 |
|
|
|a Information storage and retrieval
|
653 |
|
|
|a Database management
|
653 |
|
|
|a Logics and Meanings of Programs
|
653 |
|
|
|a Computer logic
|
700 |
1 |
|
|a Boley, Harold
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Lecture Notes in Computer Science
|
856 |
4 |
0 |
|u https://doi.org/10.1007/b102922?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.11
|