scientific article; zbMATH DE number 1931650

MaRDI QIDQ4708908zbMATH OpenFDO

Authors P. A. Bonatti

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240074.htm

zbMATH Keywords

Description LogicsSemantic Web

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• A Semantic Model for Matchmaking of Web Services Based on Description Logics
• Service Specification and Matchmaking Using Description Logic
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 2088361
• scientific article; zbMATH DE number 2087387

Cited in

(11)

• A logic of reachable patterns in linked data-structures
• A Logic-Programming Semantics of Services
• Semantic-based service matching algorithm in pervasive computing environments
• A Context Model for Service Composition Based on Dynamic Description Logic
• Ontology-based knowledge modeling in network manufacturing
• scientific article; zbMATH DE number 1948958 (Why is no real title available?)
• scientific article; zbMATH DE number 1956476 (Why is no real title available?)
• scientific article; zbMATH DE number 1977103 (Why is no real title available?)
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• Service Specification and Matchmaking Using Description Logic
• On the undecidability of logics with converse, nominals, recursion and counting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708908)