Search Results

PARTIALLY ORDERED AUTOMATA AND PIECEWISE TESTABILITY.

• Authors : MASOPUST, TOMÁŠ; KRÖTZSCH, MARKUS

Subjects: FIRST-order logic; FINITE state machines; LANGUAGE & languages

• Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 2, p1-36, 36p

Record details

Reasoner = Logical Calculus + Rule Engine.

• Authors : Carral, David; Dragoste, Irina; Krötzsch, Markus

• Source: KI: Künstliche Intelligenz; 2020, Vol. 34 Issue 4, p453-463, 11p

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Ontologies for Knowledge Graphs: Breaking the Rules.

• Authors : Krötzsch, Markus; Thost, Veronika

• Source: Semantic Web - ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I; 2016, p376-392, 17p

Record details

Is Your Database System a Semantic Web Reasoner?

• Authors : Krötzsch, Markus; Rudolph, Sebastian

• Source: KI: Künstliche Intelligenz; Jun2016, Vol. 30 Issue 2, p169-176, 8p

Record details

P ≠ P.

• Authors : Krötzsch, Markus

• Source: Web Reasoning & Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings; 2014, p1-22, 22p

Record details

Schema-Agnostic Query Rewriting in SPARQL 1.1.

• Authors : Bischof, Stefan; Krötzsch, Markus; Polleres, Axel

• Source: Semantic Web - ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I; 2014, p584-600, 17p

Record details

Introducing Wikidata to the Linked Data Web.

• Authors : Erxleben, Fredo; Günther, Michael; Krötzsch, Markus

• Source: Semantic Web - ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I; 2014, p50-65, 16p

Record details

Flag & check.

• Authors : Rudolph, Sebastian; Krötzsch, Markus

• Source: Proceedings of the 32nd Symposium Principles of Database Systems; 6/22/2013, p151-162, 12p

Record details

A closer look at the semantic relationship between Datalog and description logics.

• Authors : Krötzsch, Markus; Rudolph, Sebastian; Schmitt, Peter H.

Subjects: DATALOG (Computer program language); DESCRIPTION logics; LOGIC programming

• Source: Semantic Web (1570-0844); 2015, Vol. 6 Issue 1, p63-79, 17p

Record details