43 résultats pour ‘OWL’.
-
RDF(S) viewing
… owledge base) should be visualized and seen. In RDF a statement is true if it is in the database (e.g. it is either directly provided or inferred / materialized). Mainly for educational purposes Semweb developed a viewer capable of illustrating the relevant part of an entailment by automatically hiding the axiomatic statements. In RDFS there …
https://semweb.solutions:8448/leistungen/rdfservices/en-rdfs-viewing/
-
Logic Programming
… owledge Base which is the same as an ontology in other formal systems, see below), which can be executed in a suitable logical execution environment (e.g. a Prolog interpreter) in such a way that the user (or another program) ask to proof a goal (a hypothetical formula) inside and against that knowledge base. Proving a goal means to find some …
https://semweb.solutions:8448/expertise/technologien/en-logicpro/
-
Expert Systems
… owledge representations – mostly expressed in terms of OBJECTS and of IF-THEN rules. The knowledge representation of an expert system is called „knowledge base“. The latter is a special document containing the decision-making process factorized in objects and IF-THEN rules. The purpose of an expert system is to help decide …
https://semweb.solutions:8448/expertise/technologien/expert-systems/