Matches in Ruben’s data for { ?s ?p ?o }
- arndt_jws_2019 isPartOf site.
- arndt_jws_2019 name "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 label "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 name "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 primaryTopic j.websem.2019.04.001.
- arndt_jws_2019 topic j.websem.2019.04.001.
- arndt_jws_2019 twitter:card "summary".
- arndt_jws_2019 twitter:site "@RubenVerborgh".
- arndt_jws_2019 mainEntity j.websem.2019.04.001.
- arndt_owled_2015 author me.
- arndt_owled_2015 publisher me.
- arndt_owled_2015 creator me.
- arndt_owled_2015 about 978-3-319-33245-1_10.
- arndt_owled_2015 author me.
- arndt_owled_2015 publisher me.
- arndt_owled_2015 coparticipatesWith me.
- arndt_owled_2015 type Document.
- arndt_owled_2015 type WebPage.
- arndt_owled_2015 type Document.
- arndt_owled_2015 type Document.
- arndt_owled_2015 type Q386724.
- arndt_owled_2015 type CreativeWork.
- arndt_owled_2015 type Work.
- arndt_owled_2015 P50 me.
- arndt_owled_2015 maker me.
- arndt_owled_2015 description "Semantic Web reasoning can be a complex task: depending on the amount of data and the ontologies involved, traditional OWL DL reasoners can be too slow to face problems in real time. An alternative is to use a rule-based reasoner together with the OWL RL/RDF rules as stated in the specification of the OWL 2 language profiles…".
- arndt_owled_2015 title "Improving OWL RL reasoning in N3 by using specialized rules".
- arndt_owled_2015 type "article".
- arndt_owled_2015 url "https://ruben.verborgh.org/publications/arndt_owled_2015/".
- arndt_owled_2015 title "Improving OWL RL reasoning in N3 by using specialized rules".
- arndt_owled_2015 inDataset dataset.
- arndt_owled_2015 isPartOf site.
- arndt_owled_2015 name "Improving OWL RL reasoning in N3 by using specialized rules".
- arndt_owled_2015 label "Improving OWL RL reasoning in N3 by using specialized rules".
- arndt_owled_2015 name "Improving OWL RL reasoning in N3 by using specialized rules".
- arndt_owled_2015 primaryTopic 978-3-319-33245-1_10.
- arndt_owled_2015 topic 978-3-319-33245-1_10.
- arndt_owled_2015 twitter:card "summary".
- arndt_owled_2015 twitter:site "@RubenVerborgh".
- arndt_owled_2015 mainEntity 978-3-319-33245-1_10.
- arndt_ruleml_2015 author me.
- arndt_ruleml_2015 publisher me.
- arndt_ruleml_2015 creator me.
- arndt_ruleml_2015 about publication.
- arndt_ruleml_2015 author me.
- arndt_ruleml_2015 publisher me.
- arndt_ruleml_2015 coparticipatesWith me.
- arndt_ruleml_2015 type Document.
- arndt_ruleml_2015 type WebPage.
- arndt_ruleml_2015 type Document.
- arndt_ruleml_2015 type Document.
- arndt_ruleml_2015 type Q386724.
- arndt_ruleml_2015 type CreativeWork.
- arndt_ruleml_2015 type Work.
- arndt_ruleml_2015 P50 me.
- arndt_ruleml_2015 maker me.
- arndt_ruleml_2015 description "Since the development of Notation3 Logic, several years have passed in which the theory has been refined and used in practice by different reasoning engines such as cwm, FuXi or EYE. Nevertheless, a clear model-theoretic definition of its semantics is still missing…".
- arndt_ruleml_2015 title "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 type "article".
- arndt_ruleml_2015 url "https://ruben.verborgh.org/publications/arndt_ruleml_2015/".
- arndt_ruleml_2015 title "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 inDataset dataset.
- arndt_ruleml_2015 isPartOf site.
- arndt_ruleml_2015 name "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 label "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 name "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 primaryTopic publication.
- arndt_ruleml_2015 topic publication.
- arndt_ruleml_2015 twitter:card "summary".
- arndt_ruleml_2015 twitter:site "@RubenVerborgh".
- arndt_ruleml_2015 mainEntity publication.
- arndt_ruleml_industry_2015 author me.
- arndt_ruleml_industry_2015 publisher me.
- arndt_ruleml_industry_2015 creator me.
- arndt_ruleml_industry_2015 about publication.
- arndt_ruleml_industry_2015 author me.
- arndt_ruleml_industry_2015 publisher me.
- arndt_ruleml_industry_2015 coparticipatesWith me.
- arndt_ruleml_industry_2015 type Document.
- arndt_ruleml_industry_2015 type WebPage.
- arndt_ruleml_industry_2015 type Document.
- arndt_ruleml_industry_2015 type Document.
- arndt_ruleml_industry_2015 type Q386724.
- arndt_ruleml_industry_2015 type CreativeWork.
- arndt_ruleml_industry_2015 type Work.
- arndt_ruleml_industry_2015 P50 me.
- arndt_ruleml_industry_2015 maker me.
- arndt_ruleml_industry_2015 description "Traditionally, nurse call systems in hospitals are rather simple: patients have a button next to their bed to call a nurse. Which specific nurse is called cannot be controlled, as there is no extra information available…".
- arndt_ruleml_industry_2015 title "Ontology Reasoning using Rules in an eHealth Context".
- arndt_ruleml_industry_2015 type "article".
- arndt_ruleml_industry_2015 url "https://ruben.verborgh.org/publications/arndt_ruleml_industry_2015/".
- arndt_ruleml_industry_2015 title "Ontology Reasoning using Rules in an eHealth Context".
- arndt_ruleml_industry_2015 inDataset dataset.
- arndt_ruleml_industry_2015 isPartOf site.
- arndt_ruleml_industry_2015 name "Ontology Reasoning using Rules in an eHealth Context".
- arndt_ruleml_industry_2015 label "Ontology Reasoning using Rules in an eHealth Context".
- arndt_ruleml_industry_2015 name "Ontology Reasoning using Rules in an eHealth Context".
- arndt_ruleml_industry_2015 primaryTopic publication.
- arndt_ruleml_industry_2015 topic publication.
- arndt_ruleml_industry_2015 twitter:card "summary".