Consistency checking of semantic web ontologies

DOI10.1007/3-540-48005-6_40MaRDI QIDQ3044643zbMATH OpenFDO

Authors Kenneth Baclawski, Mieczyslaw M. Kokar, Richard Waldinger, Paul A. Kogut

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 5887277
• Semantic consistency checking in building ontology from heterogeneous sources
• Reasoning support for Semantic Web ontology family languages using Alloy
• Reasoning with ontologies by using knowledge conjunction in conceptual graphs
• Evaluation of Ontologies and DL Reasoners

Cited in

(3)

• Semantic consistency checking in building ontology from heterogeneous sources
• Integrity constraints in OWL ontologies based on grounded circumscription
• Checking content consistency of integrated web documents

This page was built for publication: Consistency checking of semantic web ontologies

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